Fix petsc 3.4 build.