correctly switch between windows and (other) when deciding whether to use AVX code