add pdf-tools