binman: Use a private directory for bintools