Make sage-ppl build with gmp-5.1.0+

Package-Manager: portage-2.2.1