let load_gui () = gui_ini#read rc_gui