diff --git a/Source/dafny.msbuild/DafnyVerifyTask.cs b/Source/dafny.msbuild/DafnyVerifyTask.cs
index c306115..3a6be4d 100644
--- a/Source/dafny.msbuild/DafnyVerifyTask.cs
+++ b/Source/dafny.msbuild/DafnyVerifyTask.cs
@@ -1,6 +1,5 @@
 using System;
 using System.Collections.Concurrent;
-using System.Collections.Generic;
 using System.Linq;
 using System.Threading.Tasks;
 using Microsoft.Build.Framework;
@@ -44,9 +43,7 @@ private bool VerifyDafnyFile(ITaskItem file) {
             
             using (System.Diagnostics.Process verifyProcess = new System.Diagnostics.Process()) {
                 verifyProcess.StartInfo.FileName = DafnyExecutable;
-                verifyProcess.StartInfo.ArgumentList.Add("/compile:0");
-                verifyProcess.StartInfo.ArgumentList.Add("/timeLimit:" + TimeLimit);
-                verifyProcess.StartInfo.ArgumentList.Add(file.ItemSpec);
+                verifyProcess.StartInfo.Arguments = String.Format("/compile:0 /timeLimit:{0} {1}", TimeLimit, file.ItemSpec);
                 verifyProcess.StartInfo.UseShellExecute = false;
                 verifyProcess.StartInfo.RedirectStandardOutput = true;
                 verifyProcess.StartInfo.RedirectStandardError = true;
diff --git a/Source/dafny.msbuild/build/dafny.msbuild.props b/Source/dafny.msbuild/build/dafny.msbuild.props
index 0035c71..1f018ad 100644
--- a/Source/dafny.msbuild/build/dafny.msbuild.props
+++ b/Source/dafny.msbuild/build/dafny.msbuild.props
@@ -1,8 +1,8 @@
 <Project TreatAsLocalProperty="TaskFolder;TaskAssembly">
     <PropertyGroup>
         <!-- Fall back to the bin directory to make local testing much easier -->
-        <TaskAssembly Condition="Exists('$(MSBuildThisFileDirectory)..\tasks')">$(MSBuildThisFileDirectory)..\tasks\netcoreapp3.0\dafny.msbuild.dll</TaskAssembly>
-        <TaskAssembly Condition="!Exists('$(MSBuildThisFileDirectory)..\tasks')">$(MSBuildThisFileDirectory)..\bin\Debug\netcoreapp3.0\dafny.msbuild.dll</TaskAssembly>
+        <TaskAssembly Condition="Exists('$(MSBuildThisFileDirectory)..\tasks')">$(MSBuildThisFileDirectory)..\tasks\netstandard2.0\dafny.msbuild.dll</TaskAssembly>
+        <TaskAssembly Condition="!Exists('$(MSBuildThisFileDirectory)..\tasks')">$(MSBuildThisFileDirectory)..\bin\Debug\netstandard2.0\dafny.msbuild.dll</TaskAssembly>
 
         <Dafny Condition="'$(OS)' == 'Windows_NT'">Dafny.exe</Dafny>
         <Dafny Condition="'$(OS)' != 'Windows_NT'">dafny</Dafny>
diff --git a/Source/dafny.msbuild/dafny.msbuild.csproj b/Source/dafny.msbuild/dafny.msbuild.csproj
index cc6ebfd..7805f93 100644
--- a/Source/dafny.msbuild/dafny.msbuild.csproj
+++ b/Source/dafny.msbuild/dafny.msbuild.csproj
@@ -1,14 +1,14 @@
 <Project Sdk="Microsoft.NET.Sdk">
 
     <PropertyGroup>
-        <TargetFrameworks>netcoreapp3.0</TargetFrameworks>
+        <TargetFrameworks>netstandard2.0</TargetFrameworks>
         <RootNamespace>DafnyMSBuild</RootNamespace>
         <BuildOutputTargetFolder>tasks</BuildOutputTargetFolder>
         <!-- Stop dotnet from complaining about the non-standard layout -->
         <NoPackageAnalysis>true</NoPackageAnalysis>
         <GeneratePackageOnBuild>true</GeneratePackageOnBuild>
         
-        <VersionPrefix>0.3.0</VersionPrefix>
+        <VersionPrefix>0.4.0</VersionPrefix>
         <VersionSuffix Condition="$(Configuration) == 'Debug'">build$([System.DateTime]::Now.ToString('yyyyMMdd-HHmm'))</VersionSuffix>
         <RootNamespace>DafnyMSBuild</RootNamespace>
     </PropertyGroup>
@@ -18,9 +18,8 @@
     </ItemGroup>
 
     <ItemGroup>
-        <PackageReference Include="Microsoft.Build.Framework" Version="15.1.1012" PrivateAssets="All" />
-        <PackageReference Include="Microsoft.Build.Utilities.Core" Version="15.1.1012" PrivateAssets="All" />
-        <PackageReference Include="System.Linq.Parallel" Version="4.3.0" PrivateAssets="All" />
+        <PackageReference Include="Microsoft.Build.Framework" Version="15.1.1012" PrivateAssets="all" />
+        <PackageReference Include="Microsoft.Build.Utilities.Core" Version="15.1.1012" PrivateAssets="all" />
+        <PackageReference Include="System.Linq.Parallel" Version="4.3.0" PrivateAssets="all" />
     </ItemGroup>
-
 </Project>
diff --git a/Test/TestProject/TestProject.csproj b/Test/TestProject/TestProject.csproj
index 95ed289..58e0433 100644
--- a/Test/TestProject/TestProject.csproj
+++ b/Test/TestProject/TestProject.csproj
@@ -7,6 +7,11 @@
     <ItemGroup>
       <PackageReference Include="xunit" Version="2.4.1" />
       <PackageReference Include="xunit.runner.visualstudio" Version="2.4.0" />
+      <!--
+        A package reference to System.Collections.Immutable (like the following) is required if we are targetting
+        netstandard2.0 instead of netcoreapp3.0
+        <PackageReference Include="System.Collections.Immutable" Version="1.7.0" />
+      -->
     </ItemGroup>
 
     <!--