diff --git a/examples/basic/README.md b/examples/basic/README.md
index e98040550f..82eb165f0d 100644
--- a/examples/basic/README.md
+++ b/examples/basic/README.md
@@ -23,10 +23,7 @@ The configuration file [mlkem_native_config.h](mlkem_native/mlkem_native_config.
 - `MLK_CONFIG_PARAMETER_SET`: Security level (512, 768, or 1024). Default is 768.
 - `MLK_CONFIG_NAMESPACE_PREFIX`: Symbol prefix for the API. Set to `mlkem` in this example.
 
-To change the security level, modify `MLK_CONFIG_PARAMETER_SET` in the config file or pass it via CFLAGS:
-```bash
-make build CFLAGS="-DMLK_CONFIG_PARAMETER_SET=512"
-```
+To change the security level, modify `MLK_CONFIG_PARAMETER_SET` in the config file or pass it via CFLAGS.
 
 ## Usage
 
diff --git a/examples/basic/main.c b/examples/basic/main.c
index 4f35662e35..b41761de75 100644
--- a/examples/basic/main.c
+++ b/examples/basic/main.c
@@ -11,7 +11,6 @@
  * This requires specifying the parameter set and namespace prefix
  * used for the build.
  */
-#define MLK_CONFIG_NAMESPACE_PREFIX mlkem
 #include "mlkem_native/mlkem_native.h"
 
 #include "test_only_rng/notrandombytes.h"
diff --git a/examples/basic_deterministic/mlkem_native/mlkem_native_config.h b/examples/basic_deterministic/mlkem_native/mlkem_native_config.h
index 31feeeca6d..9f41c51c26 100644
--- a/examples/basic_deterministic/mlkem_native/mlkem_native_config.h
+++ b/examples/basic_deterministic/mlkem_native/mlkem_native_config.h
@@ -63,7 +63,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -76,7 +76,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/bring_your_own_fips202/.gitignore b/examples/bring_your_own_fips202/.gitignore
new file mode 100644
index 0000000000..eb98a94f12
--- /dev/null
+++ b/examples/bring_your_own_fips202/.gitignore
@@ -0,0 +1,3 @@
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+build
diff --git a/examples/bring_your_own_fips202/main.c b/examples/bring_your_own_fips202/main.c
index d9a645fe09..9788aa6e53 100644
--- a/examples/bring_your_own_fips202/main.c
+++ b/examples/bring_your_own_fips202/main.c
@@ -11,7 +11,6 @@
  * This requires specifying the parameter set and namespace prefix
  * used for the build.
  */
-#define MLK_CONFIG_NAMESPACE_PREFIX mlkem
 #include <mlkem_native.h>
 
 #include "test_only_rng/notrandombytes.h"
diff --git a/examples/bring_your_own_fips202/mlkem_native/mlkem_native_config.h b/examples/bring_your_own_fips202/mlkem_native/mlkem_native_config.h
index 3dc4ce77f2..1013fb10d7 100644
--- a/examples/bring_your_own_fips202/mlkem_native/mlkem_native_config.h
+++ b/examples/bring_your_own_fips202/mlkem_native/mlkem_native_config.h
@@ -63,7 +63,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -76,7 +76,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/bring_your_own_fips202_static/.gitignore b/examples/bring_your_own_fips202_static/.gitignore
new file mode 100644
index 0000000000..eb98a94f12
--- /dev/null
+++ b/examples/bring_your_own_fips202_static/.gitignore
@@ -0,0 +1,3 @@
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+build
diff --git a/examples/bring_your_own_fips202_static/main.c b/examples/bring_your_own_fips202_static/main.c
index d9a645fe09..9788aa6e53 100644
--- a/examples/bring_your_own_fips202_static/main.c
+++ b/examples/bring_your_own_fips202_static/main.c
@@ -11,7 +11,6 @@
  * This requires specifying the parameter set and namespace prefix
  * used for the build.
  */
-#define MLK_CONFIG_NAMESPACE_PREFIX mlkem
 #include <mlkem_native.h>
 
 #include "test_only_rng/notrandombytes.h"
diff --git a/examples/bring_your_own_fips202_static/mlkem_native/mlkem_native_config.h b/examples/bring_your_own_fips202_static/mlkem_native/mlkem_native_config.h
index 4ca11d0cdf..9e163bde79 100644
--- a/examples/bring_your_own_fips202_static/mlkem_native/mlkem_native_config.h
+++ b/examples/bring_your_own_fips202_static/mlkem_native/mlkem_native_config.h
@@ -64,7 +64,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -77,7 +77,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/custom_backend/.gitignore b/examples/custom_backend/.gitignore
new file mode 100644
index 0000000000..eb98a94f12
--- /dev/null
+++ b/examples/custom_backend/.gitignore
@@ -0,0 +1,3 @@
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+build
diff --git a/examples/custom_backend/README.md b/examples/custom_backend/README.md
index 03f26fe395..4e1018b2ec 100644
--- a/examples/custom_backend/README.md
+++ b/examples/custom_backend/README.md
@@ -31,7 +31,7 @@ The configuration file [mlkem_native_config.h](mlkem_native/mlkem_native_config.
 
 A custom backend consists of:
 1. A metadata header (e.g., [custom.h](mlkem_native/src/fips202/native/custom/custom.h)) that:
-   - Sets `MLK_USE_FIPS202_X1_NATIVE` (and/or `X2`/`X4`) to indicate which functions are replaced
+   - Sets `MLK_USE_FIPS202_X1_NATIVE` (and/or `X4`) to indicate which functions are replaced
    - Includes the implementation header
 2. An implementation providing `mlk_keccakf1600_native()` (and/or batched variants)
 
diff --git a/examples/custom_backend/mlkem_native/mlkem_native_config.h b/examples/custom_backend/mlkem_native/mlkem_native_config.h
index 69cb9f0db3..b9786962f2 100644
--- a/examples/custom_backend/mlkem_native/mlkem_native_config.h
+++ b/examples/custom_backend/mlkem_native/mlkem_native_config.h
@@ -65,7 +65,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -78,7 +78,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build/.gitignore b/examples/monolithic_build/.gitignore
new file mode 100644
index 0000000000..eb98a94f12
--- /dev/null
+++ b/examples/monolithic_build/.gitignore
@@ -0,0 +1,3 @@
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+build
diff --git a/examples/monolithic_build/mlkem_native/mlkem_native_config.h b/examples/monolithic_build/mlkem_native/mlkem_native_config.h
index 3a2a7fe762..c5d1629fd7 100644
--- a/examples/monolithic_build/mlkem_native/mlkem_native_config.h
+++ b/examples/monolithic_build/mlkem_native/mlkem_native_config.h
@@ -62,7 +62,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -75,7 +75,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build_multilevel/.gitignore b/examples/monolithic_build_multilevel/.gitignore
new file mode 100644
index 0000000000..eb98a94f12
--- /dev/null
+++ b/examples/monolithic_build_multilevel/.gitignore
@@ -0,0 +1,3 @@
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+build
diff --git a/examples/monolithic_build_multilevel/mlkem_native/mlkem_native_config.h b/examples/monolithic_build_multilevel/mlkem_native/mlkem_native_config.h
index 8a18f30b69..b2ecc038c7 100644
--- a/examples/monolithic_build_multilevel/mlkem_native/mlkem_native_config.h
+++ b/examples/monolithic_build_multilevel/mlkem_native/mlkem_native_config.h
@@ -63,7 +63,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -76,7 +76,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build_multilevel_native/.gitignore b/examples/monolithic_build_multilevel_native/.gitignore
new file mode 100644
index 0000000000..eb98a94f12
--- /dev/null
+++ b/examples/monolithic_build_multilevel_native/.gitignore
@@ -0,0 +1,3 @@
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+build
diff --git a/examples/monolithic_build_multilevel_native/mlkem_native/mlkem_native_config.h b/examples/monolithic_build_multilevel_native/mlkem_native/mlkem_native_config.h
index 82e4722d41..9066a498bb 100644
--- a/examples/monolithic_build_multilevel_native/mlkem_native/mlkem_native_config.h
+++ b/examples/monolithic_build_multilevel_native/mlkem_native/mlkem_native_config.h
@@ -67,7 +67,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -80,7 +80,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/monolithic_build_native/.gitignore b/examples/monolithic_build_native/.gitignore
new file mode 100644
index 0000000000..eb98a94f12
--- /dev/null
+++ b/examples/monolithic_build_native/.gitignore
@@ -0,0 +1,3 @@
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+build
diff --git a/examples/monolithic_build_native/mlkem_native/mlkem_native_config.h b/examples/monolithic_build_native/mlkem_native/mlkem_native_config.h
index b8699a6d66..4367b8f9ca 100644
--- a/examples/monolithic_build_native/mlkem_native/mlkem_native_config.h
+++ b/examples/monolithic_build_native/mlkem_native/mlkem_native_config.h
@@ -62,7 +62,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -75,7 +75,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/multilevel_build/mlkem_native/mlkem_native.c b/examples/multilevel_build/mlkem_native/mlkem_native.c
deleted file mode 120000
index 2afd79e7dc..0000000000
--- a/examples/multilevel_build/mlkem_native/mlkem_native.c
+++ /dev/null
@@ -1 +0,0 @@
-../../../mlkem/mlkem_native.c
\ No newline at end of file
diff --git a/examples/multilevel_build/mlkem_native/mlkem_native_config.h b/examples/multilevel_build/mlkem_native/mlkem_native_config.h
index 374b803229..d39a19befb 100644
--- a/examples/multilevel_build/mlkem_native/mlkem_native_config.h
+++ b/examples/multilevel_build/mlkem_native/mlkem_native_config.h
@@ -62,7 +62,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -75,7 +75,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/examples/multilevel_build_native/mlkem_native/mlkem_native.S b/examples/multilevel_build_native/mlkem_native/mlkem_native.S
deleted file mode 120000
index 9bb5ab1011..0000000000
--- a/examples/multilevel_build_native/mlkem_native/mlkem_native.S
+++ /dev/null
@@ -1 +0,0 @@
-../../../mlkem/mlkem_native.S
\ No newline at end of file
diff --git a/examples/multilevel_build_native/mlkem_native/mlkem_native.c b/examples/multilevel_build_native/mlkem_native/mlkem_native.c
deleted file mode 120000
index 2afd79e7dc..0000000000
--- a/examples/multilevel_build_native/mlkem_native/mlkem_native.c
+++ /dev/null
@@ -1 +0,0 @@
-../../../mlkem/mlkem_native.c
\ No newline at end of file
diff --git a/examples/multilevel_build_native/mlkem_native/mlkem_native_config.h b/examples/multilevel_build_native/mlkem_native/mlkem_native_config.h
index 95b55f1720..14c5ebcc45 100644
--- a/examples/multilevel_build_native/mlkem_native/mlkem_native_config.h
+++ b/examples/multilevel_build_native/mlkem_native/mlkem_native_config.h
@@ -64,7 +64,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -77,7 +77,7 @@
  *
  *****************************************************************************/
 /* No need to set this -- we _are_ already in a custom config */
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/mlkem/mlkem_native_config.h b/mlkem/mlkem_native_config.h
index 8683b04b73..886f460600 100644
--- a/mlkem/mlkem_native_config.h
+++ b/mlkem/mlkem_native_config.h
@@ -46,7 +46,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -58,7 +58,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/mlkem/src/common.h b/mlkem/src/common.h
index d339f3fcef..c349c7e760 100644
--- a/mlkem/src/common.h
+++ b/mlkem/src/common.h
@@ -47,7 +47,7 @@
 /* Functions are prefixed by MLK_CONFIG_NAMESPACE_PREFIX.
  *
  * If multiple parameter sets are used, functions depending on the parameter
- * set are additionally prefixed with 512/768/1024. See config.h.
+ * set are additionally prefixed with 512/768/1024. See mlkem_native_config.h.
  *
  * Example: If MLK_CONFIG_NAMESPACE_PREFIX is mlkem, then
  * MLK_NAMESPACE_K(enc) becomes mlkem512_enc/mlkem768_enc/mlkem1024_enc.
diff --git a/mlkem/src/sys.h b/mlkem/src/sys.h
index 59daa0e149..7df396a8b8 100644
--- a/mlkem/src/sys.h
+++ b/mlkem/src/sys.h
@@ -235,8 +235,8 @@ __contract__(
    * If a feature is enabled at compile-time, we assume it is supported by
    * the host that the resulting library/binary will be built on.
    * If this assumption is not true, you MUST overwrite this function.
-   * See the documentation of MLK_CONFIG_CUSTOM_CAPABILITY_FUNC in config.h
-   * for more information. */
+   * See the documentation of MLK_CONFIG_CUSTOM_CAPABILITY_FUNC in
+   * mlkem_native_config.h for more information. */
   (void)cap;
   return 1;
 }
diff --git a/test/break_pct_config.h b/test/break_pct_config.h
index 3f3b8add3e..2769dfa0bc 100644
--- a/test/break_pct_config.h
+++ b/test/break_pct_config.h
@@ -62,7 +62,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -74,7 +74,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/test/configs.yml b/test/configs.yml
index b497a63871..e4c5283e1c 100644
--- a/test/configs.yml
+++ b/test/configs.yml
@@ -2,7 +2,7 @@
 # SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
 
 # Metadata for test configuration files
-# Each entry describes how a test config differs from mlkem/src/config.h
+# Each entry describes how a test config differs from mlkem/mlkem_native_config.h
 
 configs:
   - path: test/no_asm_config.h
diff --git a/test/custom_memcpy_config.h b/test/custom_memcpy_config.h
index 8714019287..6c9422ac9a 100644
--- a/test/custom_memcpy_config.h
+++ b/test/custom_memcpy_config.h
@@ -61,7 +61,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -73,7 +73,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_memset_config.h b/test/custom_memset_config.h
index 07ac537cd0..5df47eb1d4 100644
--- a/test/custom_memset_config.h
+++ b/test/custom_memset_config.h
@@ -61,7 +61,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -73,7 +73,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_native_capability_config_0.h b/test/custom_native_capability_config_0.h
index 4d78b4c27e..ad4bee7528 100644
--- a/test/custom_native_capability_config_0.h
+++ b/test/custom_native_capability_config_0.h
@@ -62,7 +62,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -74,7 +74,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_native_capability_config_1.h b/test/custom_native_capability_config_1.h
index 59df235ba8..9e8d7f3d38 100644
--- a/test/custom_native_capability_config_1.h
+++ b/test/custom_native_capability_config_1.h
@@ -62,7 +62,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -74,7 +74,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_native_capability_config_CPUID_AVX2.h b/test/custom_native_capability_config_CPUID_AVX2.h
index 013e3ddfcf..193ef30008 100644
--- a/test/custom_native_capability_config_CPUID_AVX2.h
+++ b/test/custom_native_capability_config_CPUID_AVX2.h
@@ -62,7 +62,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -74,7 +74,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_native_capability_config_ID_AA64PFR1_EL1.h b/test/custom_native_capability_config_ID_AA64PFR1_EL1.h
index 4df7adca4b..dd00330ea1 100644
--- a/test/custom_native_capability_config_ID_AA64PFR1_EL1.h
+++ b/test/custom_native_capability_config_ID_AA64PFR1_EL1.h
@@ -62,7 +62,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -74,7 +74,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_randombytes_config.h b/test/custom_randombytes_config.h
index bb43712195..7409502bb2 100644
--- a/test/custom_randombytes_config.h
+++ b/test/custom_randombytes_config.h
@@ -61,7 +61,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -73,7 +73,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_stdlib_config.h b/test/custom_stdlib_config.h
index ba2094c168..bd4418c8aa 100644
--- a/test/custom_stdlib_config.h
+++ b/test/custom_stdlib_config.h
@@ -62,7 +62,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -74,7 +74,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/test/custom_zeroize_config.h b/test/custom_zeroize_config.h
index 91f67eeeb6..926714bfc0 100644
--- a/test/custom_zeroize_config.h
+++ b/test/custom_zeroize_config.h
@@ -61,7 +61,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -73,7 +73,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/test/no_asm_config.h b/test/no_asm_config.h
index cb7cc1c6f7..3fde05b6e5 100644
--- a/test/no_asm_config.h
+++ b/test/no_asm_config.h
@@ -62,7 +62,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -74,7 +74,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX
diff --git a/test/serial_fips202_config.h b/test/serial_fips202_config.h
index f0f27b1d2a..c888f20cec 100644
--- a/test/serial_fips202_config.h
+++ b/test/serial_fips202_config.h
@@ -61,7 +61,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of the default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/mlkem_native_config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -73,7 +73,7 @@
  *              on the command line.
  *
  *****************************************************************************/
-/* #define MLK_CONFIG_FILE "config.h" */
+/* #define MLK_CONFIG_FILE "mlkem_native_config.h" */
 
 /******************************************************************************
  * Name:        MLK_CONFIG_NAMESPACE_PREFIX