Retrieving VeraCrypt Keys from a Athena Smartcard Solutions Card

A short time ago my pc (Win10x64) became unbootable and I need to get the Veracrypt keys on the new computer (Win10x64). The keys are stored on a Athena Smartcard Solutions Card, which is read by the Athena AseIIIe Smartcard Reader which plugs into usb. The problem is that Veracrypt communicates with the card via a PKCS#11 library, which I do not have. Unfortunately, it seems impossible to get hold of the official Athena middleware (ASECardCryptoToolkit425x64En) which would install the PKCS#11 library (asepkcs.dll for Athena), since Athena does not exist anymore.

I did find this: 32-bit asepkcs.dll v6.5.0.5 from https://www.pconlife.com/download/otherfile/86668/514faa8ad10855eba25cd61010030f4e/
The asepkcs.dll looks legit, at least it is signed by Athena Smartcard Solutions (but I am still apprehensive about using it). I’m also not 100% the 32-bit asepkcs.dll will be ok on a 64-bit machine, though the Athena folder is in Program Files (x86), so maybe ok.

If anyone has any suggestions on the best way to proceed, it would be much appreciated, since I risk losing a LOT of data if I cannot retrieve the keys.