Re: [PATCH v6 14/21] binman: Support missing compression tools