Extracting tools for 4.4.0-0.ci-2020-05-04-181022, may take up to a minute ...