SSHD_BINARY       177 plugin/ipc/ssh/dmtcp_ssh.cpp       char *ptr = strstr(argv[i], SSHD_BINARY);
SSHD_BINARY       179 plugin/ipc/ssh/dmtcp_ssh.cpp         ptr += strlen(SSHD_BINARY);