Fix handling of SIGINT.