(re)write ParseTeXSourceFile