Make sure tex.pool is generated first