Abort gracefully when interrupted with Ctrl-C