update Debian sources.list