Contribs: update gmp to 6.1.2