Ubuntu is not happy with push.default = simple