Colin Watson reports a strange problem whereby krb5-config