RESTART_SCRIPT_BASENAME 1373 dmtcp_coordinator.cpp     << RESTART_SCRIPT_BASENAME << "_" << compId;
RESTART_SCRIPT_BASENAME 1547 dmtcp_coordinator.cpp     string filename = RESTART_SCRIPT_BASENAME "." RESTART_SCRIPT_EXT;