minor speed up

It's a bit faster asking apt-get to install all packages in one go (at least the package indexes are parsed and traversed two times less)