Well, at the end all the hints somehow work (flashing icon pack, deleting miui_mod_icons folder). But only with default theme. Can I make anything to choose other theme and yet not be stuck with ugly 10-year old icons?