fix #20122: [Linux] Export as pdf impossible, cannot determine file type
Merge pull request #1384 from jpfleury/20122-export-pdf

fix #20122: [Linux] Export as pdf impossible, cannot determine file type