Source: armci-mpi Followup-For: Bug #1068319 armci-mpi is already building for mpich so the transition should be manageable. Will just need to make sure it switches off the openmpi build cleanly.