diff --git a/frama-c b/frama-c
index 2b7c2f71f152b9e0758333f31d05bb9300e06ebd..c32afcc4038b1234219137cae196f3f776533d2f 160000
--- a/frama-c
+++ b/frama-c
@@ -1 +1 @@
-Subproject commit 2b7c2f71f152b9e0758333f31d05bb9300e06ebd
+Subproject commit c32afcc4038b1234219137cae196f3f776533d2f
diff --git a/semver/GNUmakefile b/semver/GNUmakefile
index eab6d89a2c5c53f05273d259e5c85b2718a0c184..910c8cc5971f2992d622118b3201fec0677b2c8a 100644
--- a/semver/GNUmakefile
+++ b/semver/GNUmakefile
@@ -35,7 +35,7 @@ FCFLAGS     += \
 # (Optional) Eva-specific flags
 EVAFLAGS    += \
   -eva-warn-key builtins:missing-spec=abort \
-  -eva-builtin calloc:Frama_C_calloc_fresh \
+  -eva-alloc-builtin fresh \
   -slevel 82 \
 
 # (MANDATORY) Name of the main target