diff --git a/.vscode/tasks.json b/.vscode/tasks.json
index 9fba386..7be4e88 100644
--- a/.vscode/tasks.json
+++ b/.vscode/tasks.json
@@ -4,7 +4,7 @@
         {
             "label": "build",
             "type": "shell",
-            "command": "swift build -Xswiftc -Xfrontend -Xswiftc -sil-verify-none",
+            "command": "swift build",
             "group": {
                 "kind": "build",
                 "isDefault": true
@@ -16,7 +16,7 @@
         {
             "label": "buildtests",
             "type": "shell",
-            "command": "swift build -Xswiftc -Xfrontend -Xswiftc -sil-verify-none --build-tests"
+            "command": "swift build --build-tests"
         }
     ]
 }
diff --git a/Dockerfile b/Dockerfile
index e19b9fb..55aa864 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -25,7 +25,7 @@ WORKDIR /build
 COPY . .
 
 # Build everything, with optimizations
-RUN swift build -Xswiftc -Xfrontend -Xswiftc -sil-verify-none -c release
+RUN swift build -c release
 
 # Switch to the staging area
 WORKDIR /staging