See if this fixes the apt-get errors on Linux CI