enableTimerPlugin  161 dmtcp_launch.cpp static bool enableTimerPlugin=true;
enableTimerPlugin  192 dmtcp_launch.cpp   {&enableTimerPlugin,      "libdmtcp_timer.so"},       // Enabled