diff --git a/bin/frama-c b/bin/frama-c
index e345ea37e7eea417e96f067827e2a6d02f952306..78e65a0f4330318124ad2f53bf71ea06c9330df0 100755
--- a/bin/frama-c
+++ b/bin/frama-c
@@ -22,4 +22,4 @@
 ##########################################################################
 
 
-dune exec --root=$(dirname $0)/.. frama-c -- "$@"
+dune exec --root=$(dirname $0)/.. --no-build frama-c -- "$@"
diff --git a/bin/frama-c-gui b/bin/frama-c-gui
index 8f26e926b788a50d61fef2ac74554dbf0af68f68..5e46961d159dc33d4f3906fcf3170901acfdeceb 100755
--- a/bin/frama-c-gui
+++ b/bin/frama-c-gui
@@ -22,4 +22,4 @@
 ##########################################################################
 
 
-dune exec --root=$(dirname $0)/.. frama-c-gui -- "$@"
+dune exec --root=$(dirname $0)/.. --no-build frama-c-gui -- "$@"
diff --git a/src/plugins/from/dune b/src/plugins/from/dune
index 3bb5246e9ad95c3821d57fd1401ae13b896b703e..ae997e0a569564379aa5814431c6bd3df95c34ae 100644
--- a/src/plugins/from/dune
+++ b/src/plugins/from/dune
@@ -1,5 +1,15 @@
+(rule
+ (alias frama-c-configure)
+ (deps (universe))
+ (action (progn
+          (echo "From:" %{lib-available:frama-c-from.core} "\n")
+  )
+  )
+)
+
 ( library
-  (name from)
+ (name from)
+  (optional)
   (public_name frama-c-from.core)
   (flags -open Frama_c_kernel)
   (libraries frama-c.kernel frama-c-callgraph.core frama-c-eva.core frama-c-postdominators.core)
diff --git a/src/plugins/metrics/Metrics.ml b/src/plugins/metrics/metrics.ml
similarity index 100%
rename from src/plugins/metrics/Metrics.ml
rename to src/plugins/metrics/metrics.ml
diff --git a/src/plugins/metrics/Metrics.mli b/src/plugins/metrics/metrics.mli
similarity index 100%
rename from src/plugins/metrics/Metrics.mli
rename to src/plugins/metrics/metrics.mli
diff --git a/src/plugins/pdg/dune b/src/plugins/pdg/dune
index 83c69e76258df9214008cff6fd3f258769f5cad9..1159329a27df02c44d182133444a36dcbc632a8e 100644
--- a/src/plugins/pdg/dune
+++ b/src/plugins/pdg/dune
@@ -1,5 +1,15 @@
+(rule
+ (alias frama-c-configure)
+ (deps (universe))
+ (action (progn
+          (echo "PDG:" %{lib-available:frama-c-pdg.core} "\n")
+  )
+  )
+)
+
 ( library
-  (name pdg)
+ (name pdg)
+  (optional)
   (public_name frama-c-pdg.core)
   (flags -open Frama_c_kernel)
   (libraries frama-c.kernel frama-c-callgraph.core frama-c-from.core frama-c-eva.core)
diff --git a/src/plugins/scope/Scope.ml b/src/plugins/scope/scope.ml
similarity index 100%
rename from src/plugins/scope/Scope.ml
rename to src/plugins/scope/scope.ml
diff --git a/src/plugins/scope/Scope.mli b/src/plugins/scope/scope.mli
similarity index 100%
rename from src/plugins/scope/Scope.mli
rename to src/plugins/scope/scope.mli
diff --git a/src/plugins/value/Eva.ml b/src/plugins/value/eva.ml
similarity index 100%
rename from src/plugins/value/Eva.ml
rename to src/plugins/value/eva.ml
diff --git a/src/plugins/value/Eva.mli b/src/plugins/value/eva.mli
similarity index 100%
rename from src/plugins/value/Eva.mli
rename to src/plugins/value/eva.mli