"Fatal Error: avr/pgmspace.h no such file or directory" error for ESP8266

the esp8266 core really contains that file in the 2.4.1 git version