Update Curve25519prime.hs