fix compile error, bad patch was previously applied
fixed by Igor, reviewed by miked
cmr=v1.7.4:reviewer=ompi-rm1.7