Is libzmq-dev really needed?