PETSc installation problem