Proper SIGINT handling