Kent West wrote:
and then do "apt-get update" followed by "apt-get upgrade".
Oops; should've been "followed by 'apt-get dist-upgrade'". -- Kent