Extracting tools for 3.11, this may take a few minutes...