The current CI relies on some of the software provided by the github-hosted ubuntu 20.04 environment, and is failing to build without error even though a previous environment was OK with the current main branch