Fix failure of add-apt-repository