tools: gmp: Update to 6.1.2