Tweak net/openmpi version 1.8