Remove encoding option from Terms.exportToFile