Compatibility with the API changes since petsc-3.3.0 release.