Bug#851569: isn't this the same as #748081 ?

[Jeffrey Cliff]

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748081 sure looks
like a duplicate of this request.