Update: I solved the problem in the end by reinstalling command line tools, as shown in this link. Sorry for the trouble! Initial question I have just upgraded to OSX Mavericks and I cannot make the