make the NullPluginManager work