Explicitly mention Xcode version 4.3.2 in Mac debug instructions