enableRMPlugin    151 dmtcp_launch.cpp static bool enableRMPlugin=false;
enableRMPlugin    187 dmtcp_launch.cpp   {&enableRMPlugin,         "libdmtcp_batch-queue.so"}, // Disabled
enableRMPlugin    309 dmtcp_launch.cpp       enableRMPlugin = true;