How to change ESP8266 RTOS_SDK version

Today I tried to use an ESP8266 smartconfig example. However I failed to build it with message below:

Compiling .pioenvs/nodemcuv2/src/smartconfig_main.o
src/smartconfig_main.c:12:35: fatal error: freertos/event_groups.h: No such file or directory

It is turned out that PIO download platform RTOS_SDK with version 1.5.0-beta.5. However, it seems there are newer version of the SDK which I need. How can I change the configure and use correct framework version?

This is the example I would like to run with PIO: ESP8266_RTOS_SDK/examples/wifi/smart_config at master · espressif/ESP8266_RTOS_SDK · GitHub

Thanks for your help.

We need to update support of new version for ESP8266 RTOS SDK. See related issue