As there have been no feedback for this bug, I finally reported it upstream: http://sources.redhat.com/bugzilla/show_bug.cgi?id=602 -- Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA