81: don't use openmpi MXM, it needs to be turned off anyway.