diff --git a/src/plugins/e-acsl/gcc.sh b/src/plugins/e-acsl/gcc.sh
deleted file mode 100755
index 8184fbdd06acbcdeb3d1dcc259cd4b6e9ca40b7c..0000000000000000000000000000000000000000
--- a/src/plugins/e-acsl/gcc.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh
-
-#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
-time ./$1.out
diff --git a/src/plugins/e-acsl/gcc_bts.sh b/src/plugins/e-acsl/gcc_bts.sh
deleted file mode 100755
index 2cdb3e49a1e682a855bfbc36d08b87b9a8587885..0000000000000000000000000000000000000000
--- a/src/plugins/e-acsl/gcc_bts.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-
-./gcc_test.sh bts $@
diff --git a/src/plugins/e-acsl/gcc_runtime.sh b/src/plugins/e-acsl/gcc_runtime.sh
deleted file mode 100755
index b6794c4fd873bd4f01c72ccee4218a142720d4a3..0000000000000000000000000000000000000000
--- a/src/plugins/e-acsl/gcc_runtime.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-
-./gcc_test.sh e-acsl-runtime $@
diff --git a/src/plugins/e-acsl/gcc_test.sh b/src/plugins/e-acsl/gcc_test.sh
deleted file mode 100755
index 9ab810fa8756d5844391ec6df657b1807010ea8e..0000000000000000000000000000000000000000
--- a/src/plugins/e-acsl/gcc_test.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/sh
-
-DIR=$1
-IN=$2
-if [ $# -gt 2 ]; then
-    shift
-    shift
-    BUILTIN=$1
-    ARGS=$@
-fi
-
-gcc -std=c99 -Wall -Wno-unused-function -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin $BUILTIN -o ./tests/$DIR/result/gen_$IN.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 ./tests/$DIR/result/gen_$IN.c -lgmp && ./tests/$DIR/result/gen_$IN.out $ARGS
-
-# gcc -std=c99 -Wall -Wno-unused-function -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin $BUILTIN -o ./tests/$DIR/result/gen_$IN.out ./share/e-acsl/e_acsl.c ./share/e-acsl/memory_model/e_acsl_list.c ./share/e-acsl/memory_model/e_acsl_mmodel.c ./tests/$DIR/result/gen_$IN.c -lgmp && ./tests/$DIR/result/gen_$IN.out $ARGS
-
-# gcc -std=c99 -Wall -Wno-unused-function -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin $BUILTIN -o ./tests/$DIR/result/gen_$IN.out ./share/e-acsl/e_acsl.c ./share/e-acsl/memory_model/e_acsl_splaytree.c ./share/e-acsl/memory_model/e_acsl_mmodel.c ./tests/$DIR/result/gen_$IN.c -lgmp && ./tests/$DIR/result/gen_$IN.out $ARGS
-
-# gcc -std=c99 -Wall -Wno-unused-function -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin $BUILTIN -o ./tests/$DIR/result/gen_$IN.out ./share/e-acsl/e_acsl.c ./share/e-acsl/memory_model/e_acsl_tree.c ./share/e-acsl/memory_model/e_acsl_mmodel.c ./tests/$DIR/result/gen_$IN.c -lgmp && ./tests/$DIR/result/gen_$IN.out $ARGS