Pin libzmq-dev to ubuntu 13.10 version