issue #2305: Using std::thread instead of pthread for ScriptingCore.