We have improved the automated testing system in GMP the last weeks, allowing a single host to build GMP under multiple ABIs. http://gmplib.org/devel/testmachines.shtml Unfortunately, this also mean that test system is somewhat unstable from time to time, and that your check-ins might not be tested broadly the next night (european time). -- Torbjörn