Thingproperties.h no such file or directory

Do you experience the same problem if you upload the "Thing" sketch to your ESP8266 board using Arduino Web Editor ("full editor")?