Fixes #19 (responds to SIGINT)