^C exits, fixes #8