[PPL-devel] Re: PPL instalation and .so libraries