diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 7c834da19af9c9216854ef22153ea227383c4d2f..a31641ec021a157d29ca3fb70e97699d17c8c147 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -89,8 +89,6 @@ IS_DISTRIBUTED:=no
 
 PLUGIN_GENERATED:= $(EACSL_PLUGIN_DIR)/local_config.ml
 
-EACSL_VERSION:=$(shell $(SED) -e 's/\\(.*\\)/\\1/' $(EACSL_PLUGIN_DIR)/VERSION)
-
 $(EACSL_PLUGIN_DIR)/local_config.ml: $(EACSL_PLUGIN_DIR)/Makefile.in $(EACSL_PLUGIN_DIR)/VERSION
 	$(PRINT_MAKING) $@
 	$(RM) $@
@@ -307,6 +305,12 @@ headers::
 
 include $(FRAMAC_SHARE)/Makefile.dynamic
 
+################
+# Version      #
+################
+
+EACSL_VERSION:=$(shell sed -e 's/\\(.*\\)/\\1/' $(EACSL_PLUGIN_DIR)/VERSION)
+
 ###########
 # Install #
 ###########