Fixed bug in detecting if AVX is supported