Re: [petsc-users] Problem with mpiexec