Ah okay. Conversely I've never tried that setup :) Nice to hear about it though.
https://shop.raspberryshake.org/product/turnkey-iot-atmosphe...
Currently I only support USB mics at 16 bits that can talk to jackd. This was a conscious decision because it was all that was needed but also because jacks makes it essentially have multiple source sinks. Such as as well as recording a real time audio processing pipeline that potentially leads to real time gunshot and other sound event localization.
But it would be cool if the infrasound sensor had a USB sound interface. As then it could be useful in localizing elephants.