Re: [PATCH v6 18/21] binman: Add gzip bintool