fix for double definition in ScriptEngine