update for new collections::priority_queue API