tweak ppa version numbering