Re: [PATCH 4/5] binman: Use a private directory for bintools