add fix for building ppl 0.11.2 against modern gmp via crosstool-ng