2014-05-15-19.33.39: Renamed run_gui -> restart_gui, end_gui -> stop_gui.