Alfred von Campe a écrit :
To be honest, I don't even know how to create those characters on the command line on Linux (I am writing this on a Mac where I know how to generate characters using the option key).
I vaguely remember Mac uses UTF-16 as default encoding. This could be the source of your problem.