note about the need of using Xcode 4.2