Changes for compatibility with synctex