Don't add MIC COI includes unless --enable-mic is specified
Merge pull request #121 from mattaezell/no_coi

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