committing cmake file changes for mic (not really needed...)