Ни кто не мешает Вам сделать соответствующие файлики самостоятельно, копированием и заменой ссылки на нужную версию майнера.

Болею я.