You have probably struck an error in the test case. Please apply http://gmplib.org:8000/gmp-5.0/rev/794410151f5f and please follow up about whether it helps. -- Torbjörn