Patch: Call js_finalise after gui_quit()