Fixes for the deploy stage of the build pipeline: actually upgrade our
debian packages and gems.

no issue #