Re: [PATCH 05/20] scripts/make-erofs.sh: Avoid unneeded calls to dirname