Simplify Sumatra jumpToPDF code, avoid Unicode issues :-)