Quick hack to allow terminal to return to prompt when quitting