After recent changes to the Ubuntu CI container, the CI config was no longer valid. This MR fixes it.