.tex files are no longer interpreted as a plaintex file