LinuxMint puts the proper apt-add-repository script in /usr/local/bin