[petsc-users] installation correct?