enablePtracePlugin  149 dmtcp_launch.cpp static bool enablePtracePlugin=false;
enablePtracePlugin  182 dmtcp_launch.cpp   {&enablePtracePlugin,     "libdmtcp_ptrace.so"},      // Disabled
enablePtracePlugin  288 dmtcp_launch.cpp       enablePtracePlugin = true;