diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 8a588c57c572b1219a59eb100a90ce3f13e7d188..c2b40db263f9920ee0586510e7ee3b68d3be4674 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -292,8 +292,8 @@ EACSL_DISTRIB_TESTS = \
   $(foreach dir, $(addprefix tests/,$(PLUGIN_TESTS_DIRS)), \
       $(dir)/*.[ich] \
       $(dir)/test_config \
-      $(dir)/oracle/*.c \
-      $(dir)/oracle/*.oracle \
+      $(dir)/oracle_ci/*.c \
+      $(dir)/oracle_ci/*.oracle \
   )
 
 EACSL_RTL_FILES = $(EACSL_RTL_SRC)