Correct libsodium version for Circle