plugins           622 util_exec.cpp    const char * plugins              = getenv (ENV_VAR_PLUGIN);
plugins           656 util_exec.cpp    if (plugins != NULL) {
plugins           658 util_exec.cpp      dmtcp_args.push_back(plugins);