Ubuntu

Comment 1 for bug 1008230

pepa65 (peter-passchier) wrote :

I think this is the same bug, more extensively:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=413439