Shell now exits on Ctrl-D