"debian/patches/use_debian_packaged_gatb-core" did not exist on "master"