Use right option for writing special characters on OSX