Some changes to Downloader::repairFile