Do not make AVX compile by default