/* XXX ERROR -- could not find 'plugins.js'*/