enableLibDMTCP 169 dmtcp_launch.cpp static bool enableLibDMTCP=true; enableLibDMTCP 193 dmtcp_launch.cpp {&enableLibDMTCP, "libdmtcp.so"}, // Enabled