diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index a5cb7784ea01987e9d45e20466d54ad6168de37e..2eda1bdfdd09814bcc7654630a5335d97e5a7c7a 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -82,13 +82,15 @@ PLUGIN_CMO:= local_config \
 PLUGIN_HAS_MLI:=yes
 PLUGIN_DISTRIBUTED:=yes
 
-# Suppress a spurious warning in ocaml 4.04.0
-mmodel_analysis.cmo mmodel_analysis.cmi: E_ACSL_BFLAGS+= -w -60
-mmodel_analysis.cmx: E_ACSL_OFLAGS+= -w -60
 
 # We "save" this variable so that it can be used once PLUGIN_DIR has been reset
 EACSL_PLUGIN_DIR:=$(PLUGIN_DIR)
 
+# Suppress a spurious warning in ocaml 4.04.0
+$(EACSL_PLUGIN_DIR)/mmodel_analysis.cmo \
+$(EACSL_PLUGIN_DIR)/mmodel_analysis.cmi: E_ACSL_BFLAGS+= -w -60
+$(EACSL_PLUGIN_DIR)/mmodel_analysis.cmx: E_ACSL_OFLAGS+= -w -60
+
 ###############
 # Local Flags #
 ###############