tools: Drop superfluous include.