setCkptFilename   209 dmtcpplugin.cpp   ProcessInfo::instance().setCkptFilename(filename);
setCkptFilename   116 processinfo.h        void setCkptFilename(const char*);