krb5_locator: Slightly simplify code