linux is using openmpi.