[PPL-devel] ppl config.h.in