uniqueCkptFilenames  439 dmtcp_coordinator.cpp static bool uniqueCkptFilenames = false;
uniqueCkptFilenames  793 dmtcp_coordinator.cpp       uniqueCkptFilenames = true;
uniqueCkptFilenames 1283 dmtcp_coordinator.cpp   uniqueCkptFilenames = false;
uniqueCkptFilenames 1374 dmtcp_coordinator.cpp   if (uniqueCkptFilenames) {