Do not explicitly disable SSLv3 if GnuTLS does it already.