Marc Leroy

I was following @doe300's instructions on how to get VC4CL, then @ThijsWithaar's on how to build, but when I try to "sudo dpkg -i *.deb" within VC4C's build directory, I...

It seems [0209dcf](https://github.com/u-blox/ubxlib/commit/0209dcf03ebe4d54a6b601f9f7a2741dbf56c785) is the perpetrator; forking the repo and putting `1.4.0` back in `library.json` allows the import to successfully happen.

Hi Rob, Thanks for the quick action and for your patience whilst waiting for my reply. Unfortunately, it doesn't seem to fix it. Going back to trying to include u-blox/ubxlib...