Fix double definition of ge25519_base in ed25519