Added signal handler for SIGINT