In Ubuntu 20.04 there appeared an updated version of the
software-properties-common package in focal-updates, which presumably broke
the check for the installed package version in our CI script. Explicitly select
the installed package version for the check.