• Fix broken libjnportaudio.so for Linux 32-bit.