Re: [PATCH] tools: avoid unused parameter warning when readline is disabled