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