Quit cleanly if Ctrl-C is sent