Allow Ctrl-C to cleanly terminate in case of deadlock.