fix compilation on GCC 4.8.2, type of priority_queue<> is not properly deduced