Er braucht doch nur noch mal den Download des Patches zu starten. In der Regel wird dann die genaue Dateibezeichnung angezeigt. Dann kann er abbrechen und präzise nach der Datei suchen.