mpz_init_set_str now use the correct definition (forgot base argument)