BINARY_NAME        27 dmtcp_command.cpp #define BINARY_NAME "dmtcp_command"
BINARY_NAME        84 dmtcp_coordinator.cpp #define BINARY_NAME "dmtcp_coordinator"
BINARY_NAME        33 dmtcp_launch.cpp #define BINARY_NAME "dmtcp_launch"
BINARY_NAME        43 dmtcp_restart.cpp #define BINARY_NAME "dmtcp_restart"
BINARY_NAME        74 mtcp/mtcp_restart.c #define BINARY_NAME "mtcp_restart"