disable avx by default in C module