(re)import curve25519_donna_c64