don't leak the priority queue but destroy it when destroying the mux