libdmtcp          740 dmtcp_launch.cpp     string libdmtcp = Util::getPath("libdmtcp.so", true);
libdmtcp          741 dmtcp_launch.cpp     JWARNING(libdmtcp != "libdmtcp.so") (libdmtcp)