cmd1              428 util_exec.cpp    string cmd1, cmd2, libdl, libdmtcp32;
cmd1              433 util_exec.cpp    cmd1 = "ldd " + libdmtcp32 + " | grep " + LIBDL_FILENAME
cmd1              435 util_exec.cpp    fp = popen(cmd1.c_str(), "r");