Correctly quoted filenames in pdfscript.