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