use 0mq3 compatible destructor for now