added debug logging to inspect Ctrl-C situation more closely