add tex filetype