Re: cannot download extra developer tools