Extracting tools for 3.11, may take up to a minute ...