re-enable the signal handler on SIGINT