gmp4: refresh patch to remove fuzz