Sorry, I've created this bug report by mistake.

I wanted to reply to the bug 5695: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=5695

So forget about this one.