diff --git a/examples/dotnet/CMakeLists.txt b/examples/dotnet/CMakeLists.txt
index d0cd2bb15..57a1ba7ac 100644
--- a/examples/dotnet/CMakeLists.txt
+++ b/examples/dotnet/CMakeLists.txt
@@ -6,8 +6,8 @@ else()
     set(Z3_DOTNET_PLATFORM "Any CPU")
 endif()
 
-configure_file(dotnet.csproj dotnet.csproj COPYONLY)
-configure_file(program.cs program.cs       COPYONLY)
+configure_file(${CMAKE_CURRENT_SOURCE_DIR}/dotnet.csproj dotnet.csproj COPYONLY)
+configure_file(${CMAKE_CURRENT_SOURCE_DIR}/program.cs program.cs       COPYONLY)
 
 ADD_DOTNET(${CMAKE_CURRENT_BINARY_DIR}/dotnet.csproj
     PLATFORM ${Z3_DOTNET_PLATFORM}