On Dec 13, 2014, at 10:41 AM, Clemens Lang wrote: > It should be using the system clang. It should be using the system *C compiler*, which may or may not be clang.