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