Error about downloading the extra-tool in lead