(meta) Re-attempt shortening .deb filenames.

This works locally, but may not do on the CI server -- let's find out.