tweaked stupid TEX path issue