diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index f8866520dde32d6eff48bc98a57be98370d99495..df879e37fc5588ebc14d1521f7a0e7a596ae45c8 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -108,14 +108,7 @@ $(PLUGIN_DIR)/local_config.ml: $(PLUGIN_DIR)/Makefile.in
 ifeq (@MAY_RUN_TESTS@,yes)
 
 PLUGIN_TESTS_DIRS:=e-acsl-reject e-acsl-runtime
-PLUGIN_NO_DEFAULT_TEST:=yes
-
-tests/test_config: tests/test_config.in Makefile
-	$(PRINT_MAKING) $@
-	$(SED) -e "s|${FRAMAC_SHARE}|$(FRAMAC_SHARE)|g" \
-	       -e "s|@SEDCMD@|`which sed `|g" $< > $@
-
-tests:: tests/test_config
+tests:: $(PLUGIN_DIR)/tests/test_config
 
 endif
 
@@ -201,16 +194,36 @@ headers::
 
 include $(FRAMAC_SHARE)/Makefile.dynamic
 
+####################
+# Testing (part 2) #
+####################
+
+ifeq (@MAY_RUN_TESTS@,yes)
+
+ifeq ($(FRAMAC_INTERNAL),yes)
+SHARE:=-e-acsl-share ./share/e-acsl
+else
+SHARE:=
+endif
+$(E_ACSL_DIR)/tests/test_config: $(E_ACSL_DIR)/tests/test_config.in \
+				$(E_ACSL_DIR)/Makefile
+	$(PRINT_MAKING) $@
+	$(SED) -e "s|@SHARE@|$(SHARE)|g" \
+	       -e "s|@SEDCMD@|`which sed `|g" $< > $@
+
+endif
+
 #####################################
 # Regenerating the Makefile on need #
 #####################################
 
 ifeq ("$(FRAMAC_INTERNAL)","yes")
-CONFIG_STATUS_DIR=$(FRAMAC_SRC)
+CONFIG_STATUS_DIR:=$(FRAMAC_SRC)
+CONFIG_STATUS_DIR_DEP:=
 else
-CONFIG_STATUS_DIR=$(E_ACSL_DIR)
+CONFIG_STATUS_DIR:=$(E_ACSL_DIR)
+CONFIG_STATUS_DIR_DEP:=$(CONFIG_STATUS_DIR)/config.status
 endif
 
-$(E_ACSL_DIR)/Makefile: $(E_ACSL_DIR)/Makefile.in \
-			$(CONFIG_STATUS_DIR)/config.status
+$(E_ACSL_DIR)/Makefile: $(E_ACSL_DIR)/Makefile.in $(CONFIG_STATUS_DIR_DEP)
 	cd $(CONFIG_STATUS_DIR) && ./config.status
diff --git a/src/plugins/e-acsl/read_header.ml b/src/plugins/e-acsl/read_header.ml
index 426a62eb438bab216cc5c9f76fc1ed54e44526ca..32fc642ddf84166da1c060882bb8b55ba02d318a 100644
--- a/src/plugins/e-acsl/read_header.ml
+++ b/src/plugins/e-acsl/read_header.ml
@@ -22,10 +22,7 @@
 
 let put_file_in_buffer fname buf =
   try
-    let cin =
-      open_in
-	(Filename.concat Config.datadir (Filename.concat "e-acsl" fname))
-    in
+    let cin = open_in (Options.Share.file fname) in
     try
       while true do
 	let l = input_line cin in
diff --git a/src/plugins/e-acsl/tests/test_config.in b/src/plugins/e-acsl/tests/test_config.in
index febb6081e032faaf673e96249bb32fb8379949f3..b7441c31a3f908d907a4cb8c095e46dcbf6bad78 100644
--- a/src/plugins/e-acsl/tests/test_config.in
+++ b/src/plugins/e-acsl/tests/test_config.in
@@ -1,3 +1,3 @@
-CMD: @frama-c@ -e-acsl-share ./share/e-ascl -cpp-command="gcc -C -E -I${FRAMAC_SHARE}"
+CMD: @frama-c@ @SHARE@
 OPT: -e-acsl-check
 FILTER:@SEDCMD@ -e "s|[a-zA-Z/\\]\+frama_c_project_e-acsl_[a-z0-9]*|PROJECT_FILE|"