Umwandeln??
Im Zweifel kann das jeder lausige Editor auf Linux
oder Du stellst Deine Ausgabe auf was auch immer um.
TomIRL