Don't print krb5_error_code since we are using krb5_err().