fixing the download links to use the new names