update TeX