tools: Fix missing include