diff --git a/pyk/package/version b/pyk/package/version
index 0e0e00d489..22eec624e3 100644
--- a/pyk/package/version
+++ b/pyk/package/version
@@ -1 +1 @@
-0.1.433
+0.1.434
diff --git a/pyk/pyproject.toml b/pyk/pyproject.toml
index 56784b98ca..9623aec114 100644
--- a/pyk/pyproject.toml
+++ b/pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pyk"
-version = "0.1.433"
+version = "0.1.434"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/pyk/src/pyk/utils.py b/pyk/src/pyk/utils.py
index 633d7eae02..fb10cd7294 100644
--- a/pyk/src/pyk/utils.py
+++ b/pyk/src/pyk/utils.py
@@ -457,7 +457,7 @@ def ensure_dir_path(path: str | Path) -> Path:
     path = Path(path)
     if not path.exists():
         _LOGGER.info(f'Making directory: {path}')
-        path.mkdir(parents=True)
+        path.mkdir(parents=True, exist_ok=True)
     else:
         check_dir_path(path)
     return path