Updated the code to use the AMD64 version of libsodium