[Bug 1098653] updating openmpi erases mpi-selector settings