linux: Do "apt-get update" in CI.