Force to install the adtools-gcc packages.

We have to do that as the adtools packages are not signed yet.