[petsc-users] Segmentation fault inside PETSc