Needed by the OpenMP backend.