Reference: <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=9518>
We haven't seen any answer after one and a half month, and the information provided in the original report were insufficent to reproduce or understand the bug. So I'm closing this report. Regards, Stefano
