That doesn’t ring any bells, do you get the same issue with Ray’s?
Does a basic ESP8266 example compile?
I can install it all from scratch on a different machine tonight to see if there are any steps missing but as I recall I just followed the instructions and didn’t have any trouble getting it to compile.
Jeff