Bring OSX keyboard map up-to-date with Linux
Set push.default to simple