- mc_model_checker->process().read_variable("simix_process_maxpid",
- &maxpid, sizeof(maxpid));
+ const char* name = "simgrid::kernel::actor::maxpid";
+ if (mc_model_checker->process().find_variable(name) == nullptr)
+ name = "maxpid"; // We seem to miss the namespaces when compiling with GCC
+ mc_model_checker->process().read_variable(name, &maxpid, sizeof(maxpid));