Support Ctrl-C again

fixes #10