enableUniqueCkptPlugin  164 dmtcp_launch.cpp static bool enableUniqueCkptPlugin=true;
enableUniqueCkptPlugin  166 dmtcp_launch.cpp static bool enableUniqueCkptPlugin=false;
enableUniqueCkptPlugin  184 dmtcp_launch.cpp   {&enableUniqueCkptPlugin, "libdmtcp_unique-ckpt.so"}, // Disabled