RESTART_SCRIPT_EXT 1377 dmtcp_coordinator.cpp   o << "." << RESTART_SCRIPT_EXT;
RESTART_SCRIPT_EXT 1547 dmtcp_coordinator.cpp     string filename = RESTART_SCRIPT_BASENAME "." RESTART_SCRIPT_EXT;