Discuss here different C compiler set ups, and compiling executables for the ESP8266