I also changed the default because this isnt the first time somebody asked for AVX support