synctex: fix api break