Thats because esp32 compiler uses python in the process and Arduino simply uses this config from platform.txt