[petsc-users] PETSC install