fixed synctex bug