0001-Do-not-install-bin-of-is-ci.patch
