specify zeromq3 version for osx more strictly