Not yet. But I'll do this.
And apt-get update does not help. Required some efforts to make it run properly, become root, chmod for some files, but without success with this
problem.