Use a different mirror, and use `ftp` to get things instead of curl/wget