Replace Ctrl-C with ^C when printing.