Fix missing include.

- add missing conditional include of petsc.hh