(Bad, hard-coded) support for libsodium on Linux