Added missing exit(0) for SIGINT handler