diff --git a/.cargo/config.toml b/.cargo/config.toml
deleted file mode 100644
index 03f48798f..000000000
--- a/.cargo/config.toml
+++ /dev/null
@@ -1,2 +0,0 @@
-[build]
-rustflags = ["-Ctarget-cpu=native"]
diff --git a/.gitignore b/.gitignore
index 16802d82b..a5ab304b8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,6 +11,7 @@ proofs/fstar/extraction/.cache
 __pycache__
 kyber-crate/
 *.llbc
+.cargo/
 
 # When using sed
 *.bak