Stuff needed for add-apt-repository