OK, so I was using the portable version of the arduino IDE so I redownloaded it, copied it over the existing folder replacing files (it was the same version 1.8.7). Then I recoppied the libraries from the github into my libraries folder. After all that I still get the error but it compiled and uploaded and appears to be working. I can see the initial boot message at my mqtt broker saying that it is online and what version of the software it’s running.
Hope this helps someone else.