ESP32 Power Management Support

I’m new to PlatformIO and so far I like it very much. I’m using the ESP32 with the ESP-IDF. When I add support for power management under sdkconfig.h, the project no longer compiles. Is there a work around this? Thanks.

#define CONFIG_FREERTOS_USE_TICKLESS_IDLE
#define CONFIG_PM_ENABLE
#define CONFIG_PM_USE_RTC_TIMER_REF

So what error occurrs?

Full platformio.ini and all code files for reproduction please. (Github or Dropbox ZIP suffice)