Try again for swiftnav 0.8.0
Merge pull request #4033 from mikepurvis/patch-6

Try again for swiftnav 0.8.0