fix `free' of mpz_to_str