Re: [arch-dev-public] Buggy krb5-config script