v0.5.7: cmd line update: skip input PDF files with special characters