Comment out use of NS_DESIGNATED_INITIALIZER (for now at least)