bindgen on ci seems broken really bad

Cargo.toml

@@ -38,7 +38,6 @@ quickcheck_macros = "1"
 serde_json = { version = "1.0" }
 serde = { version = "1.0", features = ["derive"] }
 hex = { version = "0.4.3", features = ["serde"] }
-pqcrypto-kyber = { version = "0.7.6", default-features = false }
 
 # Benchmarking "RustCrypto"
 chacha20poly1305 = "0.10"
@@ -54,6 +53,7 @@ wasm-bindgen-test = "0.3"
 [target.'cfg(not(target_arch = "wasm32"))'.dev-dependencies]
 criterion = "0.5"
 libcrux-pqclean = { version = "*", path = "sys/pqclean" }
+pqcrypto-kyber = { version = "0.7.6", default-features = false }
 
 # Benchmarking "OpenSSL"
 # XXX: We don't do this for Windows or wasm right now.