dmtcp_launch_path   22 plugin/ipc/ssh/ssh.cpp static string dmtcp_launch_path;
dmtcp_launch_path  304 plugin/ipc/ssh/ssh.cpp   dmtcp_launch_path = Util::getPath("dmtcp_launch");
dmtcp_launch_path  309 plugin/ipc/ssh/ssh.cpp   prefix = dmtcp_launch_path + " ";