Use othermirror for some ubuntu versions.