DJB's implementation of Poly1305-AES based on OpenSSL and GMP