[PPL-devel] Hi, the ppl from GIT does not have the 'configure' file.