Added SIGINT handling