Update to libsodium 0.4.2