ToolsLibrary: File header.