tex-live: use hash-style download strategy