same story here
I went through the same exercise having had the latest MIUI dev rom (8.6.6…) on my Mi4c. Just follow the instructions on the first post starting from step number 2. And use the download links provided…
Many thanks to the original poster and “kickassy”!