It's uploaded on miui.dedyk.gq and AndroidFileHost (but not on Sourceforge):
http://miui.dedyk.gq/8.8.16/xiaomi.eu_multi_MIMAX2_8.8.16_v10-7.1.zip
https://androidfilehost.com/?fid=1322778262903983496
Do only I have problems with MMI codes (*number#) since update to Android 7 on my Mi4s? I can check my account state and other things that way so it's a little problem.