fix for SIGINT