comment out useless SIGINT handler