Getting closer to building tex, but still a ways to go