added SIGINT handling
merged.