[PPL-devel] ppl/src version.cc