add SIGINT handler