Making old versions of OpenMPI usable.