ppc64le/linux: links for openmpi