[Overall] Avoid Ctrl-Meta swapping on Mac OS X.

Fixes #1530.