Возможная ошибка Riviera PRO и cocotb (невозможно найти libcocotbvhpi.dll)

Я работаю с pyhton 3.7, Aldec Riviera Pro 2017, cocotb 1.3 и MSYS2. Когда я запускаю этот тест на jenkins и на удаленном ПК, у меня возникает эта проблема. Мой файл журнала выглядит так:

VHPI: Loading library 'C:/JenkinsSlave/workspace/Diceros_-_Regression_Tests_CoCoTB_mao/Vivado/diceros/ip_repo/registers_1.0/sim/build/libs/x86_64/libcocotbvhpi.dll'
VHPI: Cannot load the "C:/JenkinsSlave/workspace/Diceros_-_Regression_Tests_CoCoTB_mao/Vivado/diceros/ip_repo/registers_1.0/sim/build/libs/x86_64/libcocotbvhpi.dll" library. The library does not exist or is corrupted.

Решение пробовали до сих пор:

1. проверил, есть ли файл, а также проверил зависимости файла dll. (все хорошо)
2. У Discovered Riviera есть собственная версия gcc, которая отличается от MSYS2 (mingw64) - не уверены, что это проблема?
3. Поигрался с переменными окружения (работал нечетко)

Любые предложения будут полезны. Я действительно застрял в данный момент. Заранее спасибо!