Manually delete the failed download files
(I thought DownloadManager did this automatically; but it seemed not to be the case.)