diff --git a/config/config.nims b/config/config.nims
new file mode 100644
index 0000000000..3f0d9e1b83
--- /dev/null
+++ b/config/config.nims
@@ -0,0 +1 @@
+# empty config.nims to prevent future regressions, see #9990