Fix zmqprf trunk