Add nice exit functions to catch SIGINT