Added sigint handling