È successa la stessa cosa a me qualche giorno fa. Credo che l'ultima versione dell'installer abbia qualche problema. Potremmo scrivere a Sergio Luis (il creatore di IEs4Linux) e dirglielo: è un tipo molto alla mano e gli piace ricevere feedback :-) Claudio