Adds gnutls-dev to linux deps
Merge pull request #9181 from ricardoquesada/linux_deps

Adds gnutls-dev to linux deps