Installed headers from src/cleditor