Download binary file, edwards25519.a