Update gmp to 4.2.1 (#1162)