TweetNaCl port to Android