openmpi is a stub port
