minor change to openmpi build