synctex fix