added *.SYNCTEX