x86_64: ed25519_ref10.so
