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