Ciao, __GMP_BITS_PER_MP_LIMB is used in configure of PPL0.10.2 but this does not exist in GMP5.0.0. I used a kludge to force configure to accept it and make check seemed to report passes for all tests. Yours sincerely, Little Nicholas Collin de Gloucester