I mentioned the alternative, 'curl', because at least on my setup (still OS2007) 'curl' was included by default. 'wget' is extra. Both solutions (see my post) work for downloading the file.