[PPL-devel] ppl install-sh