Adding handler for SIGINT