On 01/20/2013 01:21 PM, Roy Sigurd Karlsbakk wrote:

That's rather old too, and soon out of support. Better upgrade to 12.04 LTS and try again.

I do know that.

I reported this bug when the release on which I reported it was still
current. I didn't have this problem on 2 subsequent Ubuntu releases and
now I'm having it again on 11.10. So I did something about it myself and
I posted the solution so others can help themselves too.