Re: [PATCH v6 05/21] binman: Collect bintools before usage