No one seems to be replying on the MIUI rom threads. But could I just redownload the new build then dirty flash it over previous build? My device is Redmi 4X