bug 1151: add beginnings of curve25519_mul