Allow breaking shell.py with ctrl-C