freedesktop Poppler 0.12.3