diff --git a/examples/0712-modules-sha256-streaming.sx b/examples/0712-modules-sha256-streaming.sx
index de01e41..4dadbe3 100644
--- a/examples/0712-modules-sha256-streaming.sx
+++ b/examples/0712-modules-sha256-streaming.sx
@@ -59,7 +59,8 @@ main :: () {
     check("split-on-boundary", stream_split(MSG, 64), PIN);   // 64: exact block edge
 
     // sha256_file (streaming) must equal the in-memory digest.
-    path := "/tmp/sx_0712_stream.bin";
+    if !create_dir_all(".sx-tmp") { print("mkdir: FAIL\n"); return; }
+    path := ".sx-tmp/sx_0712_stream.bin";
     if !write_file(path, MSG) { print("file-write: FAIL\n"); return; }
 
     maybe := sha256_file(path);