Re: configure: Fix detection of gnutls on Ubuntu 14.10.