Or haow about using a more powerful server.  My experience has been that the 
mirror sites are way out of date.