push.default=simple not compatible with Ubuntu 12.04 LTS