diff --git a/src/plugins/callgraph/dune b/src/plugins/callgraph/dune
index aa9aadd458561355aafeaee41cd9cd6bfabe1991..fc6669bca1d0d5448b5565ef0f0f7118f333351d 100644
--- a/src/plugins/callgraph/dune
+++ b/src/plugins/callgraph/dune
@@ -16,7 +16,7 @@
   (modules Cg_viewer)
 ;  (private_modules Cg_viewer)
   (flags -open Frama_c_kernel -open Frama_c_gui -open Callgraph)
-  (libraries callgraph frama-c.kernel frama-c.gui)
+  (libraries callgraph frama-c.kernel frama-c.gui ocamlgraph.dgraph)
 )
 
 (plugin (optional) (name callgraph) (libraries frama-c-callgraph.gui) (site (frama-c plugins_gui)))
diff --git a/src/plugins/gui/debug_manager.ko.ml b/src/plugins/gui/debug_manager.ko.ml
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391
diff --git a/src/plugins/gui/debug_manager.ml b/src/plugins/gui/debug_manager.ok.ml
similarity index 100%
rename from src/plugins/gui/debug_manager.ml
rename to src/plugins/gui/debug_manager.ok.ml
diff --git a/src/plugins/gui/dune b/src/plugins/gui/dune
index f375a5d906305d75c0646ed958120f1e9f80983e..1f6d4a8b1e1bc0485a3dcbf16d52ae739732e5f2 100644
--- a/src/plugins/gui/dune
+++ b/src/plugins/gui/dune
@@ -28,7 +28,7 @@
         history
         gui_printers
         design
-        analyses_manager file_manager project_manager debug_manager
+        analyses_manager file_manager project_manager
         help_manager
         property_navigator GSourceView gtk_compat
         dgraph_helper
@@ -51,5 +51,9 @@
       (ocamlgraph.dgraph -> dgraph_helper.yes.ml)
       ( -> dgraph_helper.no.ml)
    )
+   (select debug_manager.ml from
+      (ocamlgraph.dgraph -> debug_manager.ok.ml)
+      ( -> debug_manager.ko.ml)
+   )
 )
 )