make zmq4 optional
make zmq4 the default