Update ed25519.cc