Using eigen in platformio under esp-idf framework

Hi,
I am trying to use the eigen idf component (IDF Component Registry) in a platformio project
I have downloaded the library, placed the extracted files in the components folder, and the framework finds it just fine. It adds the required include directory to the compiler flags:
-I.pio/build/gpt_pcb/esp-idf/eigen/eigen-build/install/include
But the headers are not there (it’s a header only library), there is no install/include folder at all. The library (libeigen.a) does get generated.

Any suggestions?