Don't redownload files when doing the download-release targets