gmp: Update to 6.1.2