diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 5949e01e65317b130fc556f661f16d73d83318c6..57957c80bc2619be21ab66972127913e77622b72 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -72,7 +72,7 @@ PLUGIN_CMO:= local_config \
 	main
 
 PLUGIN_HAS_MLI:=yes
-PLUGIN_DISTRIBUTED:=no
+PLUGIN_DISTRIBUTED:=yes
 
 # Suppress a spurious warning in ocaml 4.04.0
 mmodel_analysis.cmo mmodel_analysis.cmi: E_ACSL_BFLAGS+= -w -60