OpenMPI: make it work on ARM (single node)