diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 3d3e83a8274f949cb8e189033b280e8c2950fdc1..8ac367acffe5abaded67762e36864437b0b2da65 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -100,5 +100,12 @@ include $(FRAMAC_SHARE)/Makefile.dynamic
 # Regenerating the Makefile on need #
 #####################################
 
-$(E_ACSL_DIR)/Makefile: $(E_ACSL_DIR)/Makefile.in $(E_ACSL_DIR)/config.status
-	cd $(E_ACSL_DIR) && ./config.status
+ifeq ("$(FRAMAC_INTERNAL)","yes")
+CONFIG_STATUS_DIR=$(FRAMAC_SRC)
+else
+CONFIG_STATUS_DIR=$(E_ACSL_DIR)
+endif
+
+$(E_ACSL_DIR)/Makefile: $(E_ACSL_DIR)/Makefile.in \
+			$(CONFIG_STATUS_DIR)/config.status
+	cd $(CONFIG_STATUS_DIR) && ./config.status