s it possible to change the file manager of the Xiaomi smartphone? I do not like the default one. I uninstalled it, but when I'm going to install a ROM via update, it forces me to reinstall xiaomi's file manager (because the others do not recognize that "thing"), you have some ideas about how to set default file manager of other files (NO XIAOMI). Thank you