A replacement for the popular avr/pgmspace.h header.  Directions: create a new folder "avr" under .../hardware/arduino/x86/cores/arduino.  The put this variant of pgmspace.h in it.