ppl: make this build with gmp>=5.1; cross build support.