petsc has changed some config parameters in version 3.5