Edit File: krb5.pyo