diff --git a/src/plugins/e-acsl/demo/run_demo.sh b/src/plugins/e-acsl/demo/run_demo.sh
index f110b94f0012720cf56204a95da92d84b196e5df..38692596d290357760154ee75d30670c39f124e6 100755
--- a/src/plugins/e-acsl/demo/run_demo.sh
+++ b/src/plugins/e-acsl/demo/run_demo.sh
@@ -2,6 +2,8 @@
 
 E_ACSL_LIB=`frama-c -print-share-path`/e-acsl
 
-gcc -std=c99 -pedantic -Wall -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin -o ./demo pow.c $E_ACSL_LIB/e_acsl.c $E_ACSL_LIB/memory_model/e_acsl_bittree.c $E_ACSL_LIB/memory_model/e_acsl_mmodel.c res_demo.c
+gcc -c pow.c
+
+gcc -std=c99 -pedantic -Wall -Wno-long-long -Wno-attributes -Wno-unused-but-set-variable -fno-builtin -o ./demo pow.o $E_ACSL_LIB/e_acsl.c $E_ACSL_LIB/memory_model/e_acsl_bittree.c $E_ACSL_LIB/memory_model/e_acsl_mmodel.c res_demo.c
 
 ./demo
diff --git a/src/plugins/e-acsl/demo/script.ml b/src/plugins/e-acsl/demo/script.ml
index 2c078362659ddb5e0c8bc63250fe60ee2dbcdd49..d5ab61043e1abe9505145814734e5952440de7f4 100644
--- a/src/plugins/e-acsl/demo/script.ml
+++ b/src/plugins/e-acsl/demo/script.ml
@@ -15,7 +15,7 @@ end)
 (* ************************************************************************** *)
 
 module Fct_name = 
-  EmptyString
+  Empty_string
     (struct
       let option_name = "-ppt-fct" 
       let help = "Name of the function in which the property is defined"
@@ -23,7 +23,7 @@ module Fct_name =
      end)
 
 module Ppt_name = 
-  EmptyString
+  Empty_string
     (struct
       let option_name = "-ppt-name" 
       let help = "Name of the property (assertion, ...)"