Re: [PATCH v3] binman: bintool: Add support for tool directories