Handle SIGINT more gracefully.