Bug fix: correct compiler for avx instructions.