gracefully handle CTRL+C on the command line