Ubuntu

Comment 17 for bug 256131

Thanks Malte.

I was not sure until the recent posts http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=482140#222 and http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=482140#237 . This is indeed the same bug.