fix SIGINT handling