moved favicon.ico into iso_files