[petsc-users] configure error