Nikolay Sivov : kerberos: Use 64-bit integer for credential handles.