[petsc-users] Important Petsc header files to include