Re: [petsc-users] Crusher configure problem