Need to add tex to path in setup script