Debian packaging for zeromq-4