Pgmspace.h: No such file or directory

Hi,

i am trying the Arduino sketch DeviceInfo for LoRaExplorer. The comilation fails:

TheThingsNetwork.h:12:22: fatal error: pgmspace.h: No such file or directory

I follow all the instruction to install TheThingsNEtwork lib and Soda board. Any thought?
thanks.

well i modified the TheThingsNetwork.h header file:

#include <C:\Program Files (x86)\path\to\tools\avr\avr\include\avr\pgmspace.h>

but it does not look to me an elegant solution. Do you have better suggestions?