revert osx-defaults to old style for push