Make krb5-types.h define int64_t on Win32