Re: Help needed with failing PPC build: cannot find MPI with openmpi