krb5: version bumped to 1.12.2.