Extracting tools for 4.11.0-0.ci-2024-02-05-233135, this may take a few minutes...