Fix Ctrl-key on OS X