Compilation errors in ScriptingCore.cpp fixes