On Jul 26, 2012, at 11:15 a.m., Jeremy Lavergne wrote: > You might consider installing the Command Line Tools from connect.apple.com. This works for me, by the way. My /usr/bin/clang is now 4.0, and the Preferences window indicates that the tools are installed, even after restarting Xcode. vq