[petsc-users] Error when installing PETSc