By now we assume that MPI_THREAD_MULTIPLE is provided.