Re: binman should create a list of output files