But the file is used by extension manager when loading internal extensions.