Fix the CC red build