gmp: Update to 4.2.2