Issue 673

fix #673 for extensions such as MIC / AVX-512