(unofficial) debian/ubuntu-ppa packaging stuff