title: Frama-C make errors (Ubuntu 16.04 LTS): Error: Unbound module Dgraph
body: <p>This Frama-C Magnesium-20151002, compilation environment is Ubuntu 16.04 (Xenial).</p>
  
  <pre><code>Ocamlc       src/plugins/gui/debug_manager.cmi
  Ocamlc       src/plugins/gui/help_manager.cmi
  Ocamlc       src/plugins/gui/property_navigator.cmi
  Ocamlc       src/plugins/gui/gui_parameters.cmo
  Ocamlc       src/plugins/gui/gtk_helper.cmo
  File "src/plugins/gui/gtk_helper.ml", line 1318, characters 9-58:
  Error: Unbound module Dgraph
  share/Makefile.generic:77: recipe for target 'src/plugins/gui/gtk_helper.cmo' failed
  make: *** [src/plugins/gui/gtk_helper.cmo] Error 2
  </code></pre>