git: push.default=simple breaks git <1.8