Try another fix for SIGINT handling