tools: Drop a stale header