Fix curl command to download libsodium tarball