simgrid::config::set_parse(opt);
XBT_DEBUG("Did apply '%s' as config setting", opt);
} else if (parse_args && not strcmp(argv[i], "--version")) {
simgrid::config::set_parse(opt);
XBT_DEBUG("Did apply '%s' as config setting", opt);
} else if (parse_args && not strcmp(argv[i], "--version")) {