Delete priority_queue.h