Trampoline RTS fixes postGUIAsync and postGUISync