I have the same problem with you. but fixed with this way： change ” #ifndef(ESP8266)” to “#ifndef ESP8266;” you will successfully compile and download.
but after this, i can not receive the WIFI SSID “OS-xxxx”, I don’t know why. i hope that you can fix this problem and let me know:)