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