update for debian jessie, which has libgnutls28-dev, not libgnutls-dev