Yes I'd ended up finding the .apk but it's not quite clear what that app is doing TBH ;-)
I've also post-processed Rinex files recorded on the Mi 8 with rtklib (and using a CORS station) but I haven't been able to get a "fix", it's been a "float" so far only and a static accuracy of about 2 meters when comparing to Google Earth, the statistical accuracy is a lot better though. For dynamic data it's pretty much unusable compared to the output you get in a navigation app, like Locus for instance.
Have you had better luck yourself ?