[opensuse-factory] which openmpi should Factory use?