Как оказалось, всё работает.

Настройки здесь: https://r3blog.nl/index.php/etoken-pro-72k/