Don't add MIC COI includes unless --enable-mic is specified