Trying to compile PPL with the latest version of GMP (5.0.1) returns a configure error where the C++ compiler complains that symbol __GMP_BITS_PER_MP_LIMB is undefined. Symbol used to be defined in gmp 4.1.4, but no longer exists in 5.0.1 Thank you, Timothy Madden