I'm also happy mi5 owner that had GPS problem.
I flashed different roms and nothing helped.
so finaly I got it working by doing those steps
1. do a local backup
2. flash LATEST Android 6.0 release for MI5 6.11.10
3. do a factory reset
4. start up and install gps toolbox from playstore.
5. go...