TweetNACL, MofNfs, bug fixes