diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index d8f6ea473808067b273167e12e003331e6d3fe63..44e3e1ec2a1fe404f561de1c4402917885685e7b 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -54,7 +54,7 @@ ERROR="ERROR parsing arguments:"
 
 # Gcc
 CC="`check_tool 'gcc'`"
-CFLAGS="-std=c99 -g3 -O2 -fno-builtin -Wall \
+CFLAGS="-std=c99 -g3 -O2 -pedantic -fno-builtin -Wall \
     -Wno-long-long \
     -Wno-attributes \
     -Wno-unused-result \
@@ -67,11 +67,12 @@ CPPFLAGS=""
 LDFLAGS=""
 # Frama-C
 FRAMAC="`check_tool 'frama-c'`"
+FRAMAC_CONGIG="`check_tool 'frama-c-config'`"
 FRAMAC_FLAGS="-implicit-function-declaration ignore"
 
 # E-ACSL source that needed for compilation
-FRAMA_C_SHARE="`frama-c -print-share-path`"
-EACSL_SHARE="`$FRAMAC -print-share-path`/e-acsl"
+FRAMA_C_SHARE="`$FRAMAC_CONGIG -print-share-path`"
+EACSL_SHARE="$FRAMA_C_SHARE/e-acsl"
 RTL="$EACSL_SHARE/e_acsl.c                      \
   $EACSL_SHARE/memory_model/e_acsl_mmodel.c     \
   $EACSL_SHARE/memory_model/e_acsl_bittree.c    \