Krb5Admin/C.swig: sha512 outputs 512 bits, not 512 bytes.