Ho risolto: ho lanciato il file copiandolo dalla partizione Dati(fat32) dove stava nella partizione dove è installato Linux. E' partito subito. Grazie lo stesso Stefano, ci si vede martedì!