xpdf: fix configure-time bug that prevented the man pages from being installed