update name of libgnutls dev package