Add Petsc options.