diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 40ea1ab244877dab48d46eb239d5cfe14a7dfb77..cc93b4ebe1c693b6c1b6acb1f0f9724928089b4c 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -370,8 +370,9 @@ EACSL_DISTRIB_TESTS = \
       $(dir)/test_config_dev \
       $(dir)/oracle/* \
       $(dir)/oracle_dev/* \
-  )
-
+  ) \
+  tests/builtin/utils \
+  tests/format/utils
 
 EACSL_RTL_FILES = $(EACSL_RTL_SRC)