Mac OS fix: platform independent "control" key, which is a "command" key by default on Macs.