Danke, wget war der Befehl, der mir gefehlt hatte. Die Datei war kein Archiv, sondern eine .bin. Danke!