<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
Seems it was a problem with the mirror I was using.
<div class=""><br class="">
</div>
<div class="">Switching to the mirror at <a href="http://mirror.hmc.edu/ctan/systems/texlive/tlnet" class="">
http://mirror.hmc.edu/ctan/systems/texlive/tlnet</a> fixed the problem. </div>
<div class=""><br class="">
</div>
<div class="">Hopefully the mirror in my region will notice the difference with its corrupt copy and pull a fresh copy on the next sync.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Rod</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
</body>
</html>