This is not really needed if the extensions are defined in a plugin manager