allowing ctrl-c to exit immediately