Work around bug in libsodium