diff --git a/SmithyDafnyMakefile.mk b/SmithyDafnyMakefile.mk
index 1a49d2882..c17cb8735 100644
--- a/SmithyDafnyMakefile.mk
+++ b/SmithyDafnyMakefile.mk
@@ -546,8 +546,7 @@ transpile_dependencies_test_rust: LANG=rust
 transpile_dependencies_test_rust: transpile_dependencies_test
 
 _mv_implementation_rust:
-	rm -rf runtimes/rust/dafny_impl/src
-	mkdir -p runtimes/rust/dafny_impl/src
+	mkdir -p runtimes/rust/src
 # TODO: Currently need to insert an import of the the StandardLibrary.
 	python -c "import sys; data = sys.stdin.buffer.read(); sys.stdout.buffer.write(data.replace(b'\npub mod', b'\npub use dafny_standard_library::implementation_from_dafny::*;\n\npub mod', 1) if b'\npub mod' in data else data)" \
 	  < implementation_from_dafny-rust/src/implementation_from_dafny.rs > runtimes/rust/src/implementation_from_dafny.rs