sig
  val version : string
  val date : string
  val is_gui : bool Pervasives.ref
  val datadir : string
  val libdir : string
  val plugin_dir : string
  val static_plugins : string list
  val static_gui_plugins : string list
end