libsodium exposes constants as size_t, so change FFI definition for getting sodium constants to size_t