GnuTLS: fix use of SHA3 hashes