gmp: Update to 5.1.2