I upgraded to Intrepid several weeks back, sometime late September - this was just a standard daily update. So now idea why it went wrong all of a sudden.
Anyway, I did an apt-get update and then an apt-get dist-upgrade and it's fine now, it seems. Will keep an eye on that. Sean -- ubuntu-uk@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-uk https://wiki.ubuntu.com/UKTeam/