removing synctex