Change krb5 realm correctly