CPPFLAGS_INST needs to include user-defined include_path from configure time to be able to find e.g. <gmp.h>.
CPPFLAGS_INST needs to include user-defined include_path from configure time to be able to find e.g. <gmp.h>.

norbert-mueller/iRRAM,norbert-mueller/iRRAM,norbert-mueller/iRRAM