Bug#893615: problem solved

[Martin Lutz]

The problem is solved in the latest update. The update included a new version of 
the package python-zmq, which is now in version 17.0.0-1. I assume that this 
contained the fix.

Best wishes,
Martin