Keyboard Interrupt does not exit cleanly

[chingc]

Ctrl-C will dump an exception which the user should not have to see.