diff --git a/KLR/Compile.lean b/KLR/Compile.lean
index 0fef3f18..f9ca19e1 100644
--- a/KLR/Compile.lean
+++ b/KLR/Compile.lean
@@ -44,7 +44,7 @@ private def sharedConstant
   data.save! tmpName
   let fName := s!"{dst}/{hash}.npy"
   IO.FS.rename tmpName fName
-  return ⟨name, fName⟩
+  return ⟨name, s!"shared_constants/{hash}.npy"⟩
 
 structure DebugInfo where
   lnc : Nat