On Sun, May 27, 2012 at 09:57:14 +0200, bodrato at mail.dm.unipi.it wrote: > Anyway, the following workaround may solve the problem: > > http://gmplib.org:8000/gmp-5.0/rev/ffdad0cda019 > Thanks, much appreciated. Cheers, Julien