Fix Exporter -aux encoding