Delete gui_ctrl.js~