Changed version.txt to version.tex  (twice)

Changed version.txt to version.tex  (twice).