diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
index d7240f5a42400374ac71544ccce2d9f6eca48e3e..23c3796e8f42ef24bdd83f566c190aa3bb0e1a67 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -75,3 +75,4 @@
 /tests/e-acsl-reject/result/*_DEP
 /tests/e-acsl-reject/result/*.log
 /tests/check/obj/*
+.frama-c
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index ccd74022b81d3eeb9968b2dd76f891d3e73106ce..cbbeefb46eaad490c7d077ee1191ed4a28c72408 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -27,10 +27,10 @@
 # Do not use ?= to initialize both below variables
 # (fixed efficiency issue, see GNU Make manual, Section 8.11)
 ifndef FRAMAC_SHARE
-FRAMAC_SHARE  :=$(shell frama-c -journal-disable -print-path)
+FRAMAC_SHARE  :=$(shell frama-c-config -print-share-path)
 endif
 ifndef FRAMAC_LIBDIR
-FRAMAC_LIBDIR :=$(shell frama-c -journal-disable -print-libpath)
+FRAMAC_LIBDIR :=$(shell frama-c-config -print-libpath)
 endif
 
 # OCAMLVERSION and HAS_OCAML312 are defined in Frama-C common Makefile but
diff --git a/src/plugins/e-acsl/demo/.gitignore b/src/plugins/e-acsl/demo/.gitignore
new file mode 100644
index 0000000000000000000000000000000000000000..50f382630b547e8da2b9b64430453d553364d80a
--- /dev/null
+++ b/src/plugins/e-acsl/demo/.gitignore
@@ -0,0 +1,4 @@
+demo
+demo.sav
+script
+res_demo.c