diff --git a/src/plugins/loop_analysis/dune b/src/plugins/loop_analysis/dune
index 0d6eae7f5c900b423654d59bb0c6a5fed4d6143d..b7023aab4712b0a5822d9e46cfec2d2982d7f2d1 100644
--- a/src/plugins/loop_analysis/dune
+++ b/src/plugins/loop_analysis/dune
@@ -11,7 +11,6 @@
 ( library
   (name LoopAnalysis)
   (public_name frama-c-loop-analysis.core)
-  (modules options region_analysis_sig region_analysis region_analysis_stmt loop_analysis register LoopAnalysis)
   (private_modules region_analysis_sig region_analysis region_analysis_stmt loop_analysis register)
   (flags -open Frama_c_kernel :standard)
   (libraries frama-c.kernel frama-c-eva.core)
diff --git a/src/plugins/metrics/gui/dune b/src/plugins/metrics/gui/dune
index b13e820cbd9581362901a6efe33adafcc335dcfa..b65c898ff9c56ea6ffb2e7e19b1be277db495901 100644
--- a/src/plugins/metrics/gui/dune
+++ b/src/plugins/metrics/gui/dune
@@ -2,7 +2,6 @@
   (name metrics_gui)
   (public_name frama-c-metrics.gui)
   (optional)
-  (modules metrics_gui_panels register_gui)
   (flags -open Frama_c_kernel -open Frama_c_gui -open Metrics :standard -w -9)
   (libraries frama-c.kernel frama-c.gui frama-c-metrics.core)
 )
diff --git a/src/plugins/report/dune b/src/plugins/report/dune
index 36f21bbfc1661e476db9eb20a269b8d64b9d2df1..7603b287637db4d39a243bfec3e73adc1c685d9f 100644
--- a/src/plugins/report/dune
+++ b/src/plugins/report/dune
@@ -10,7 +10,6 @@
 ( library
   (name report)
   (public_name frama-c-report.core)
-  (modules report_parameters scan dump csv register classify Report)
   (private_modules report_parameters scan dump csv register classify)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel)
diff --git a/src/plugins/scope/dune b/src/plugins/scope/dune
index bf6db70188c30d8dfebe33d3d1299a68515c6b0b..32465234efb7ee0750ffcc5186aaefc12dd9ad16 100644
--- a/src/plugins/scope/dune
+++ b/src/plugins/scope/dune
@@ -12,7 +12,6 @@
 (library
   (name scope)
   (public_name frama-c-scope.core)
-  (modules scope datascope zones defs)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel frama-c-eva.core frama-c-inout.core)
 )
diff --git a/src/plugins/scope/gui/dune b/src/plugins/scope/gui/dune
index 8c974f6cb784a1425c8f93c05b97af068d123d3f..0b3f412525bb934336306e21294b132fdd26dd61 100644
--- a/src/plugins/scope/gui/dune
+++ b/src/plugins/scope/gui/dune
@@ -13,7 +13,6 @@
   (name scope_gui)
   (public_name frama-c-scope.gui)
   (optional)
-  (modules dpds_gui)
   (flags -open Frama_c_kernel -open Frama_c_gui -open Scope :standard  -w -9)
   (libraries frama-c.kernel frama-c.gui frama-c-scope.core)
 )