pdf-tools: logging disabled