more debug prints for examining Ctrl-C more closely