suffixFor32Bits   586 util_exec.cpp    string suffixFor32Bits;
suffixFor32Bits   591 util_exec.cpp        suffixFor32Bits = "32/bin/";
suffixFor32Bits   593 util_exec.cpp        suffixFor32Bits = "32/lib/dmtcp/";
suffixFor32Bits   601 util_exec.cpp      string pth = udir + p1[i] + suffixFor32Bits + cmd;