Bizarrely, using apt-get seems to be working. It even tells me that the missing files are missing from the FTP server. Which is useful to know.
_________________________
-- roger