go get gitlab.com/yawning/edwards25519-extra.git