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