Revert-Remove-synctex-plugin.patch
