Added SIGINT handler