[PPL-devel] RFC: packaging the PPL for RedHat and Debian