[PPL-devel] ppl configure.ac instchk.hh