update name of libgnutls dev package
Merge branch 'joeyconfig'