Added SIGINT signal handler