diff --git a/src/api/dotnet/Microsoft.Z3.csproj b/src/api/dotnet/Microsoft.Z3.csproj
index cde8b78c9..045c610dd 100644
--- a/src/api/dotnet/Microsoft.Z3.csproj
+++ b/src/api/dotnet/Microsoft.Z3.csproj
@@ -342,6 +342,7 @@
     <Compile Include="ConstructorList.cs" />
     <Compile Include="DatatypeExpr.cs" />
     <Compile Include="DatatypeSort.cs" />
+    <Compile Include="Deprecated.cs" />
     <Compile Include="FiniteDomainExpr.cs" />
     <Compile Include="FiniteDomainNum.cs" />
     <Compile Include="FPExpr.cs" />
@@ -360,11 +361,11 @@
     <Compile Include="FuncDecl.cs" />
     <Compile Include="FuncInterp.cs" />
     <Compile Include="Goal.cs" />
-    <Compile Include="InterpolationContext.cs" />
     <Compile Include="IntExpr.cs" />
     <Compile Include="IntNum.cs" />
     <Compile Include="IntSort.cs" />
     <Compile Include="IntSymbol.cs" />
+    <Compile Include="Lambda.cs" />
     <Compile Include="ListSort.cs" />
     <Compile Include="Model.cs" />
     <Compile Include="Optimize.cs" />
diff --git a/src/api/dotnet/core/README.txt b/src/api/dotnet/core/README.txt
index 883b23056..7af9cbf2c 100644
--- a/src/api/dotnet/core/README.txt
+++ b/src/api/dotnet/core/README.txt
@@ -6,6 +6,6 @@ functions, so that the API will compile, but not perform any contract
 checking. To build this using .NET core, run (in this directory):
 
 dotnet restore
-dotnet build core.json
+dotnet build core.csproj -c Release
 
 -- good luck!