Sync with latest version of tweetnacl