add missing fmpz_inits