only enable AVX if the host has AVX extensions.