diff --git a/PCbuild/pythoncore.vcxproj b/PCbuild/pythoncore.vcxproj
index 9ebf58ae8a9bc4..8b3486ac9621b7 100644
--- a/PCbuild/pythoncore.vcxproj
+++ b/PCbuild/pythoncore.vcxproj
@@ -420,6 +420,8 @@
HACL_CAN_COMPILE_SIMD128;%(PreprocessorDefinitions)
HACL_CAN_COMPILE_SIMD256;%(PreprocessorDefinitions)
+
+ /arch:AVX
@@ -742,6 +744,13 @@
+
+
+
+