fixed compilation errors in MIC