fix dmtcp.sh

M