It seems that download speed is about 500b/s, so about 3 weeks to download :-(
Ick.We used to have github able to serve as a download server, but alas, https://github.com/blog/1302-goodbye-uploads
Consider building from source, even if you have to learn how to build it, probably less than 3 weeks :)
-Steve
