Fix #1

Encode output name in ASCII to get no trouble with the file