Re: [PATCH v4 09/13] binman: Add gzip bintool