fixed bug with length of mpz buffers