sig val software_version : string val glade_dir : string val glade_file : string val dtd_dir : string val db_dtd_file : string end