A more general point really, but we should probably use a US mirror as our CI systems are all hosted in the US.