PDF: prevent deadlock related to -named-dest command line argument (fixes #10)