Minor change in shell to fix a problem with the commands quit and exit on windows (the \n was not tested)