gmp: make this cross-buildable again after 5.1.1 update.