Update from official archive since mirror seems to be failing