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