Tanto per annunciare (se qualcuno non l'ha già fatto in qualche altra parte del sito) l'aggiornamento di VirtualBox alla versione 4.2.2. Si tratta di una versione di mantenimento con poche correzioni, ma - visto che ci sono - non riesco a scompattare le Extensions a corredo (VERR_ZIP_BAD_HEADER)... Qualcuno ci è riuscito? A me non era mai successo... Sembrerebbe un file fallato (scaricato più volte ma sempre con lo stesso risultato). Oppure il problema è solo mio?