Build failure with Openmpi on ppc64le