gnutls: fix CVE-2014-3466