ubuntu-latest is now assigned to Ubuntu 20.04. As we use custom apt sources for 18.04, pin to this version for now to fix the CI.
