git-svn-id: svn://svn.code.sf.net/p/dmtcp/code/trunk@2527 ba6dc0ae-232f-0410-883f-9ebac64fc565
Fix previous commit


git-svn-id: svn://svn.code.sf.net/p/dmtcp/code/trunk@2528 ba6dc0ae-232f-0410-883f-9ebac64fc565