Re: [PATCH v3 1/2] binman: bintool: remove btool_ prefix from btool names