High: tools: Fix compilation