Thank you very very much for this solution, it works and it helped me out when I thought all hope was lost!!
I posted you wonderful reply on Reddit here:
So far I have gotten two personal messages from people who found the reddit reply and they both said I saved their day, it is thanks to you...
Thank you for sharing this, this solution saved me as well when trying to install Xiaomi.eu 10.3.15 over 10.3.12 EEA with GR TWRP.
Have a very nice day!
Sent from my Redmi K20 using Tapatalk