Fix type in libsodium install