download.html: Updated binary filenames.