Re: [PATCH] RFE: tools: fix parallel build of tools-all