Cheers for the pointers. I've found the solution (on apple's KB) - which is that installing the developer's tools makes the problem go away!