redeclare iOS-only properties properly