Make reading of petsc output files backward-compatible.