Re: [PATCH 07/20] binman: Write the compressed output to a file