the plugin can now use generated extensions