fix 4ti2's test for gmp to 64 bit conversion, attempt 2

... under 64 ubuntu with mpir 2.6.0 as gmp