diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 8b58780133736fc4bd884e31b5455971d05d7d04..22e77923bddf15aebd0760ed9cc647f991a119fd 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -264,7 +264,7 @@ EACSL_TEST_FILES = \
 # Test files without header management 
 EACSL_DISTRIB_TESTS = \
   $(foreach dir, $(addprefix tests/,$(PLUGIN_TESTS_DIRS)), \
-      $(dir)/*.[ic] \
+      $(dir)/*.[ich] \
       $(dir)/test_config \
       $(dir)/oracle/*.c \
       $(dir)/oracle/*.oracle \