I got a near-mint SIII Mini (i8190N) for free, as someone killed some system files while attempting a root. I want to use this as a daily driver on CyanogenMod 10, however, I am not sure which method to go with. Will it work if I just flash TWRP via Odin (on Ubuntu 20 LTS), then install the ROM and GApps, or do I need to reflash the stock TouchWiz ROM, re-root, then go from there?