Correction for MIC.
Remove bashism.
Update MIC target.