[Bug 417924] New: openmpi: After update, mpi-selector --list is empty