Replace Execution Engine's mutex with std::recursive_mutex.