More changes to Downloader::repairFile