fix sigint failure on linux