LaTeX (tetex) files?