Re: [PATCH v2] binman: bintool: remove btool_ prefix from btool names