You'll have to detect the operating system using `$OSTYPE` and set `ControlLeft` to the proper sequence.