pgmspace.h No such file or directory

When using Arduino or ESP32 libraries that require to #include <avr\pgmspace.h>compilation fails with the error avr/pgmspace.h: No such file or directory

Workaround:

Change #include <avr\pgmspace.h> in the library to

#if (defined(__AVR__))
#include <avr\pgmspace.h>
#else
#include 
#endif