mods for openmpi 1.6.3 + castor