Added patch to (hopefully) fix detection of gnutls on Ubuntu 14.10.