Using eigen in platformio under esp-idf framework

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:
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?