Comment 5 for bug 1024895

I don't have that machine anymore. It happened on many different Ubuntu machines though, most of them with a fresh setup, others with an original 11.10 setup (upgraded to 12.04 as soon as it came out). Whenever I get the message again, I will run that command.