use older openmpi for cross platformnesss