considering that thought, try researching for that file to find more hosts, thats wat i do when i need sources. I search for it and the download usually ends up continuing or speeding up.