Missing header when trying to compile

I’m trying to customize a little bit the Model100 default firmware… I were able to compile the default, modify some parts and recompile using ´arduino-cli´, everything seems to work fine… until now…

I were trying to change the default LED greeting with LEDAnimation… but now the compilation fails because of a missing header file:

.arduino15/packages/keyboardio/hardware/gd32/1.99.8/libraries/Kaleidoscope-LEDEffect-BootAnimation/src/kaleidoscope/plugin/LEDEffect-BootAnimation.cpp:18:10: fatal error: Kaleidoscope/plugin/LEDEffect-BootAnimation.h: No such file or directory
18 | #include “Kaleidoscope/plugin/LEDEffect-BootAnimation.h”
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.

That is, it does find the actual plugin code, the plugin header and the cpp, but it fails to find the correct header afterwards, the missing header is in the same directory as the file requesting it…

Does someone have any clue about that, and why it only happens with that plugin the default BootGreeting works fine…