Now there is a way a user can specify that the local C compiler isn't "gcc".