Use option for writing special characters on OSX