better Mac OS X integration: the key Win/Apple is used instead of the
key Ctrl in shortcuts (thx Jan-Cornelius MOLNAR)