Cleaning up MIC build instructions