enablePIDPlugin   172 dmtcp_launch.cpp static bool enablePIDPlugin=true;
enablePIDPlugin   195 dmtcp_launch.cpp   {&enablePIDPlugin,        "libdmtcp_pid.so"}          // Enabled