diff --git a/TestModels/SharedMakefile.mk b/TestModels/SharedMakefile.mk
index 915bd3362..188554f0a 100644
--- a/TestModels/SharedMakefile.mk
+++ b/TestModels/SharedMakefile.mk
@@ -435,7 +435,7 @@ _comment_out_import_module_python:
 
 # TODO: Cut ticket to Dafny team
 _correct_escaped_python:
-	test -d runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/_dafny.py && find runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/_dafny.py -type f -exec sed -i $(SED_PARAMETER) '/.*lambda c\: c\.__escaped__.*/s/lambda c: c\.__escaped__/lambda c: CodePoint(c).__escaped__/g' {} \;
+	test -f runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/_dafny.py && find runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/_dafny.py -type f -exec sed -i $(SED_PARAMETER) '/.*lambda c\: c\.__escaped__.*/s/lambda c: c\.__escaped__/lambda c: CodePoint(c).__escaped__/g' {} \;
 
 transpile_dependencies_python: LANG=python
 transpile_dependencies_python: transpile_dependencies