Character encoding in CSV files: troubleshooting