Thanks a lot for your help!
I checked the MD5 checksum of the file, and it shows as:
74D8263CCB11D21CB4C135B8346E6431
However, according to the xiaomi.eu sources, the official MD5 checksum should be:
162FDCA64B9918FD63B966D44BDEEE74
Source 1
Source 2
Would you mind letting me know where...