It seems to work. 'make check -j16' goes through and since it seemed to
be of a random nature previously I ran the individual test repeatedly
and it passed every time.Thanks for confirming, Peter. Myriad other problems have been reported, so it's nice to have one that actually got fixed :). Closing this out ...
