I have not tested but suggest:
For K20 pro users to NOT flash 9.7.18
This is because of the numerous negative reviews of the 9.7.18 chinese dev rom (which the xiaomi.eu version is based on) on the chinese rom forums.
There are numerous bugs on the chinese rom 9.7.18 including severe battery drain,
Brave souls can venture forward of cos, would be happy to see a review on xiaomu.eu's version
Working fine so far on k20 pro. Maps pip bug is solved