Os X: With Xcode 4, check for gcc-4.2 also in the setup for binary distributions