libdmtcp32        428 util_exec.cpp    string cmd1, cmd2, libdl, libdmtcp32;
libdmtcp32        430 util_exec.cpp    libdmtcp32 = Util::getPath("libdmtcp.so", true);
libdmtcp32        431 util_exec.cpp    if (libdmtcp32 == "libdmtcp.so") return 0;
libdmtcp32        433 util_exec.cpp    cmd1 = "ldd " + libdmtcp32 + " | grep " + LIBDL_FILENAME