Bug correction: Filename with spaces were not handled by pdfmark.sh