diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index d91e513b4f06f40f467ce81ef573ffbea45ea6fa..137e7566d6a7509d8cb6f50c5282b3a651b0e7bd 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -160,7 +160,9 @@ EACSL_DISTRIB_FILES=\
 	configure.ac Makefile.in \
 	doc/Changelog \
 	$(DOC_FILES) \
-	share/e-acsl/*.[ch] share/e-acsl/memory_model/*.[ch] \
+	share/e-acsl/*.[ch] \
+	share/e-acsl/memory_model/e_acsl_bittree.[ch] \
+	share/e-acsl/memory_model/e_acsl_mmodel*.[ch] \
 	tests/test_config.in \
 	tests/e-acsl-reject/test_config tests/e-acsl-reject/*.i \
 	tests/e-acsl-runtime/test_config tests/e-acsl-runtime/*.[ci] \
@@ -176,7 +178,8 @@ e-acsl-distrib: .depend
 	$(PRINT_UNTAR) tmp-distrib
 	cd $(EXPORT); \
 	  $(TAR) xf ../tmp.tar; autoconf; \
-	  $(SED) -i -e 's/IS_DISTRIBUTED:=no/IS_DISTRIBUTED:=yes/' Makefile.in; \
+	  $(SED) -i \
+	    -e 's/IS_DISTRIBUTED:=no/IS_DISTRIBUTED:=yes/' Makefile.in; \
 	  $(RM) -rf autom4te.cache
 	$(PRINT_RM) tmp-distrib
 	$(RM) tmp.tar