fixed a bug in verification flags
created compiler configration flags for MIC