debian/update-install-paths.patch
