SIGINT handler

fixes #1