Fix syntax errors krb5_client