pcsc smartcard fixes form 64 bit from Ken