extra libs for ESP8266 RTOS SDK