Re: [PATCH v2 3/5] binman: Move the tools directory into the Bintool class