Get synctex working