There is a native SoapySDR Driver SoapyMiri that is working fine: https://github.com/ericek111/SoapyMiri

So mirisdr support can be disabled now to avoid confusion.