We don't need mirrors anymore, default servers are ok