Fix Debian 6 steps: libgnutls-dev is needed (though we might remove this requirement later)