Re: [PPL-devel] configure error: __GMP_BITS_PER_MP_LIMB: first use in this function, with gmp 5.0.1