gmp: Update to version 5.1.1.