Switch to jeromq, at least until zeromq 4 is released