Fix queue::push() to call notify_one() on non empty condition.