fill_missing_petsc.py: try to provide better error messages.