libsodium extension for PHP