texlive: Fix download file names to be current.