Ok. Adesso provo. Già una volta mi avevi consigliato gnuwin32 e infatti la prima cosa che ho fatto prima di cercare in rete e aprire il thread è stata guardare la mia cartella bin, ma il comando file non era presente. Per questo ho pensato che non ci fosse l'equivalente per windows.

edit. Ho controllato meglio e tramite wget adesso sto scaricando tutto. Grazie ancora.