travis: not using apt-add-repository, support is not consistent on travis.