Lade die Datei doch mal auf einen USB-StockAlso oben steht was von Linux, dann wird hier FAT32 erwähnt. Und nun USB. Vielleicht ist der benutzte "PC" ja noch gar nicht mit USB ausgestattet?
Ein Download von 4,4GB bei 5,8GB Plattenplatz ist ja schon grenzwertig. Es wird ja meist mit temporären Dateien gearbeitet. Die brauchen ja auch noch Platz.
Handelt es sich um ein 32Bit-BS?