Make AVX optional in the Makefile.