patches for openmpi 1.6.5