Cast krb5_error_code to int to avoid warning.