Missing include of petsc.hh