added SIGINT handler

nothing more to say