[PPL-devel] ppl/debian rules libppl.install libppl.dirs