Re: [PATCH v4 13/13] binman: Support missing compression tools