(probably) fix #280 (updater doesn't exit)