diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index ff398a88725c08e4ec0920ffe25238265001c239..b7383b8f2634b2be740589a10f6c878692604f29 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -338,8 +338,7 @@ EACSL_TEST_FILES = \
 	tests/temporal/test_config_dev \
 	tests/format/test_config \
 	tests/format/test_config_dev \
-	tests/utils/signalled.h \
-	tests/print.ml
+	tests/print.ml \
 
 # Test files without header management
 EACSL_DISTRIB_TESTS = \
@@ -349,7 +348,9 @@ EACSL_DISTRIB_TESTS = \
       $(dir)/test_config_dev \
       $(dir)/oracle/* \
       $(dir)/oracle_dev/* \
-  )
+  ) \
+  tests/utils/signalled.h \
+
 
 EACSL_RTL_FILES = $(EACSL_RTL_SRC)