Update scripts to make it easier to switch mirrors