deb-install is now able to add ppa