[PATCH] gmp: update to 6.1.2