Update testkotex.tex