Debugging code for funny problem on slow Linux boxes
Apparently the previous commit did not fix it though similar
code worked when I tested it. Adding some more debugging code
in a separate commit (to be backed out later once fixed). Sigh,
this is frustrating.