openmpi: introduction to -other