Added sigint handler