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