Marc Glisse <marc.glisse at inria.fr> writes: Looks ok, I'll forward port it to the main branch when I get the chance. And I may also backport the libtoolize patch to 5.0 (for the sake of hydra, which hits the same issue I had). Where do I fnd the GMP hydra results? (We might want to link them from our test page.) -- Torbjörn