Allocate wslua_plugin_list even if we do not HAVE_PLUGINS