if we bug(), handle ctrl-c in a cleaner manner.