tools: fix compile warning under Ubuntu