The problem should now be fixed, but you may want to wait a day for the mirrors to catch up. Update both tlmgr and tlshell. -- Siep Kroonenberg