WProgram.h: No such file or directory with Arduino.h changed

No, perhaps there is probably a works fine configuration / hardware / setup / etc...?
You should hear it in that repository.
Or find it up yourself.

Of course it is possible, but I'm sure I'm not the one to do it. :roll_eyes: