speed up DjVuEngineImpl::HasPageLabels