"debian/patches/fix-synctex-missing-header-install" did not exist on "master"