LIBDL_FILENAME    405 util_exec.cpp    handle = dlopen(LIBDL_FILENAME, RTLD_NOW);
LIBDL_FILENAME    433 util_exec.cpp    cmd1 = "ldd " + libdmtcp32 + " | grep " + LIBDL_FILENAME