So... my Linux tinderbox hanged again in make check... after only 3 green iterations... I have not noticed for 7 hours, nor anyone else apparently... so clearly running make check is not ready for prime time. I'm turning that off on my box for now. Norbert