diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 32ce7bb30dc6ce8817ff752c0b0d4748155aab4a..bb6d9ae7a8c22850a35c53efc96c520a4969a7e0 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -185,7 +185,7 @@ PLUGIN_TESTS_DIRS := \
 # supported.
 #	builtin
 
-PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.cmxs
+PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.ml
 
 DEV=
 ifeq ("$(DEV)","yes")
@@ -197,7 +197,10 @@ PLUGIN_PTESTS_OPTS:=-config $(EACSL_TEST_CONFIG)
 
 E_ACSL_TESTS E_ACSL_DEFAULT_TESTS: \
 	$(EACSL_PLUGIN_DIR)/tests/ptests_config \
-	$(EACSL_PLUGIN_DIR)/tests/test_config_$(EACSL_TEST_CONFIG)
+	$(EACSL_PLUGIN_DIR)/tests/test_config_$(EACSL_TEST_CONFIG) \
+	$(EACSL_PLUGIN_DIR)/tests/print.cmxs \
+	$(EACSL_PLUGIN_DIR)/tests/print.cmo
+
 
 $(EACSL_PLUGIN_DIR)/tests/test_config_ci: \
 		$(EACSL_PLUGIN_DIR)/tests/test_config_ci.in \