don't patch zeromq HEAD

the patch is unnecessary, and applying it to HEAD will fail