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