Fix adding right deb repo based on the distro we are running on