Dear, May 10 2012 a new version of Poppler is released. See http://poppler.freedesktop.org/ for details. Is it possible to update the ports to support this new version? Thank you very much in advance. Kind Regards, Hans Middelhoek