For some reason the mirroring setup changed, and the
old mirror source no longer worked. Switching it to the standard
mirror that is used elsewhere in the mirroring resolves
this and cleans up one quirk in this script.
Change-Id: I6428eedc6d84c6efeb1bf7d16e37f83850351de0