try to fix petsc version <3.3