push.default = simple not supported by git version 1.7.9.5