Fix missing apt-add-repository