Use different key binding on Mac

On Mac OS X with German keyboard the option key is a bad choice for the
M key. The M key is bound to cmd.