Fix exiting the debugger menu with CTRL-D