Handle SIGINT (fixes #1)