Change push.default to a setting that is widely compatible.