found erroneous lockingQueue_destroy call in hkdown.c