diff --git a/src/plugins/e-acsl/gcc.sh b/src/plugins/e-acsl/gcc.sh
index 7e367a3f25256ac3c3b1ab33ac505da3e96ff4c5..181990bf9604a0e77744b6711dc1a2dd03828961 100755
--- a/src/plugins/e-acsl/gcc.sh
+++ b/src/plugins/e-acsl/gcc.sh
@@ -1,3 +1,10 @@
 #!/bin/sh
 
-gcc -std=c99 -pedantic -Wall -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin -o $1.out ./share/e-acsl/e_acsl.c ./share/e-acsl/memory_model/e_acsl_bittree.c ./share/e-acsl/memory_model/e_acsl_mmodel.c $1 -lgmp && $1.out
+#export SHARE=`frama-c -print-share-path`
+export SHARE=./share
+
+echo compiling $1
+gcc -std=c99 -pedantic -Wall -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin -o $1.out $SHARE/e-acsl/e_acsl.c $SHARE/e-acsl/memory_model/e_acsl_bittree.c $SHARE/e-acsl/memory_model/e_acsl_mmodel.c $1 -lgmp
+
+echo executing $1
+./$1.out