Don't install an Ubuntu PPA on Debian!