Fixed synctex