Marking this as a duplicate of bug #239544. The real issue is that we should be using the public API provided by Poppler rather than tapping into its internal headers.
Marking this as a duplicate of bug #239544. The real issue is that we should be using the public API provided by Poppler rather than tapping into its internal headers.