Add SIGINT handler