diff --git a/Source/version.cs b/Source/version.cs
index 3e777001273..7fe1e0069a7 100644
--- a/Source/version.cs
+++ b/Source/version.cs
@@ -1,4 +1,4 @@
 using System.Reflection;
-// Version 3.0.0 pre-release 0, year 2018+2 month 08 day 17
-[assembly: AssemblyVersion("3.0.0.20817")]
-[assembly: AssemblyFileVersion("3.0.0.20817")]
+// Version 3.0.0 pre-release 1, year 2018+2 month 08 day 20
+[assembly: AssemblyVersion("3.0.0.20820")]
+[assembly: AssemblyFileVersion("3.0.0.20820")]
diff --git a/package.py b/package.py
index 8797538e83c..14fd419beee 100755
--- a/package.py
+++ b/package.py
@@ -57,7 +57,9 @@
         "Provers.SMTLib",
         "BoogieVCExpr",
         "BoogieVCGeneration",
-        "Mono.Cecil"]
+        "Mono.Cecil",
+        "System.Collections.Immutable",
+        "System.Runtime"]
 EXEs = ["Dafny", "DafnyServer"]
 ETCs = UNIX_EXECUTABLES + ["DafnyPrelude.bpl", "DafnyRuntime.cs", "DafnyRuntime.js", "DafnyRuntime.go"]