compile error fixed for Petsc3p5