function sanitize ( m : String ) : String
  {
    try {
    trace(m);
    // Linux @ fix, gets a 0x03 prepended:
    m = StringTools.replace(m,String.fromCharCode(3),"");
    // Linux ß fix, double encoding is incorrect
    var f = StringTools.replace(m,String.fromCharCode(0xc3)+String.fromCharCode(0x83)+String.fromCharCode(0xc5)+String.fromCharCode(0xb8),String.fromCharCode(0xc3)+String.fromCharCode(0x83)+String.fromCharCode(0xc2)+String.fromCharCode(0x9f));
    // Linux öäü fix, just normal double encoding
    f = neko.Utf8.decode(f);
    if (f.indexOf(String.fromCharCode(0xc3)) >= 0)  {
      // double encoding => return decoded string
      // happens with linux
      return f;
    }
   }
   catch ( unknown : Dynamic )    {     trace ("Exception: "+Std.string(unknown));    }
   return m;
  }