Update the in-tree GMP; fixes trac #832