Re: [petsc-users] Open MPI library version error