Also verified fixed on krb5-1.13 (92ffd80).

Anders