diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 0b4ee5f8e644c949701383da3e72b66aed620391..3d3e83a8274f949cb8e189033b280e8c2950fdc1 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -100,12 +100,5 @@ include $(FRAMAC_SHARE)/Makefile.dynamic
 # Regenerating the Makefile on need #
 #####################################
 
-ifeq ("$(FRAMAC_INTERNAL)","yes")
-CONFIG_STATUS_DIR=$(FRAMAC_SRC)
-else
-CONFIG_STATUS_DIR=.
-endif
-
-$(E_ACSL_DIR)/Makefile: $(E_ACSL_DIR)/Makefile.in \
-				$(CONFIG_STATUS_DIR)/config.status
-	cd $(CONFIG_STATUS_DIR) && ./config.status
+$(E_ACSL_DIR)/Makefile: $(E_ACSL_DIR)/Makefile.in $(E_ACSL_DIR)/config.status
+	cd $(E_ACSL_DIR) && ./config.status
diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index ea103a9cf1ec658f2156fc6d7e3ab24d74e4afdd..17dbc0723eec755c9c8aa9ee79678729b7afb578 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -55,7 +55,7 @@ AC_CHECK_HEADER(stdio.h,HAVE_STDIO_H=yes,)
 if test -z $CC; then
   MAY_RUN_TESTS=no
   AC_MSG_WARN([no C compiler: non-regression tests unavailable.])
-fi
+else
 
 if test -z $HAVE_STDIO_H; then
   MAY_COMPILE_WITH_CC=false
@@ -88,6 +88,8 @@ if test -z $HAVE_GMP; then
   AC_MSG_WARN([GMP library missing: non-regression tests unavailable.])
 fi
 
+fi # testing $CC
+
 #######################
 # Generating Makefile #
 #######################