ed25519.h had a private/public key misnamed variable