ctrl-c exits properly and cleanly. Fixes #2