Re: [PATCH 01/11] binman: Use a unique number for the symbols test file