Apparently, this bug is also causing bug #858512 <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=858512>. -- Regards, Andrey ``Bass'' Shcheglov.