fix sigint handler