simplify the ctrl-c catcher