another possible workaround for the GMP gcdx issue