diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 868f9b9c1..873af8432 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -82,7 +82,7 @@ Z3PY_SRC_DIR=None
 VS_PROJ = False
 TRACE = False
 DOTNET_ENABLED=False
-DOTNET_KEY_FILE=None
+DOTNET_KEY_FILE=getenv("Z3_DOTNET_KEY_FILE", None)
 JAVA_ENABLED=False
 ML_ENABLED=False
 PYTHON_INSTALL_ENABLED=False