add synctex