gmp: update to 6.3