Next try to fix Intel MIC support