enableSvipcPlugin  160 dmtcp_launch.cpp static bool enableSvipcPlugin=true;
enableSvipcPlugin  191 dmtcp_launch.cpp   {&enableSvipcPlugin,      "libdmtcp_svipc.so"},       // Enabled