----- Original Message ----- From: "Torbjorn Granlund" <tg at gmplib.org> > I suspect this is another instance of the test suite problem patched > here: > > http://gmplib.org:8000/gmp-5.0/raw-rev/794410151f5f > > Please let this list know if this patch indeed fixes the problem. I'm not the op, but that patch did fix that problem for me. Cheers, Rob