openvix: build 844
[SatFinder] fix a possible BSOD.
Merge branch