Re: [petsc-dev] problem building on Mira