diff --git a/infra/base-images/base-builder/compile b/infra/base-images/base-builder/compile
index 55342a941..2af6903bc 100755
--- a/infra/base-images/base-builder/compile
+++ b/infra/base-images/base-builder/compile
@@ -120,7 +120,7 @@ fi
 if [ "$SANITIZER" = "coverage" ]
 then
     # link to C++ from comment in f5098035eb1a14aa966c8651d88ea3d64323823d
-    export RUSTFLAGS="$RUSTFLAGS -Zinstrument-coverage -C link-arg=-lc++"
+    export RUSTFLAGS="$RUSTFLAGS -Cinstrument-coverage -C link-arg=-lc++"
 fi
 
 # Add Rust libfuzzer flags.
diff --git a/projects/oak/Dockerfile b/projects/oak/Dockerfile
index 45db0b905..34a57332f 100644
--- a/projects/oak/Dockerfile
+++ b/projects/oak/Dockerfile
@@ -65,4 +65,3 @@ RUN git clone --depth 1 https://github.com/project-oak/oak oak
 
 WORKDIR oak
 COPY build.sh $SRC/
-COPY rustc.py $SRC/
diff --git a/projects/oak/build.sh b/projects/oak/build.sh
index 4a96f01cc..b4b750f1f 100755
--- a/projects/oak/build.sh
+++ b/projects/oak/build.sh
@@ -18,8 +18,6 @@
 if [ "$SANITIZER" = "coverage" ]
 then
   export RUSTFLAGS="$RUSTFLAGS -C debug-assertions=no"
-  chmod +x $SRC/rustc.py
-  export RUSTC="$SRC/rustc.py"
   export CFLAGS=""
 fi
 
diff --git a/projects/oak/rustc.py b/projects/oak/rustc.py
deleted file mode 100644
index 55ce4c40a..000000000
--- a/projects/oak/rustc.py
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/usr/bin/env python
-
-# Copyright 2021 Google LLC
-#
-# Licensed under the Apache License, Version 2.0 (the "License");
-# you may not use this file except in compliance with the License.
-# You may obtain a copy of the License at
-#
-#      http://www.apache.org/licenses/LICENSE-2.0
-#
-# Unless required by applicable law or agreed to in writing, software
-# distributed under the License is distributed on an "AS IS" BASIS,
-# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-# See the License for the specific language governing permissions and
-# limitations under the License.
-
-import sys
-import subprocess
-
-#Disable coverage for troubling crates.
-sys.argv[0] = "rustc"
-if "tokio_util" in sys.argv or "hyper" in sys.argv:
-    try:
-        sys.argv.remove("-Zinstrument-coverage")
-    except:
-        pass
-    print(sys.argv)
-subprocess.call(sys.argv)
diff --git a/projects/rustls/Dockerfile b/projects/rustls/Dockerfile
index 26d56771c..ceabd365f 100644
--- a/projects/rustls/Dockerfile
+++ b/projects/rustls/Dockerfile
@@ -29,4 +29,3 @@ RUN git clone https://github.com/ctz/rustls
 WORKDIR $SRC
 
 COPY build.sh $SRC/
-COPY *.py $SRC/
diff --git a/projects/rustls/build.sh b/projects/rustls/build.sh
index 7d44aa48e..d834022b8 100755
--- a/projects/rustls/build.sh
+++ b/projects/rustls/build.sh
@@ -18,8 +18,6 @@
 if [ "$SANITIZER" = "coverage" ]
 then
   export RUSTFLAGS="$RUSTFLAGS -C debug-assertions=no"
-  chmod +x $SRC/rustc.py
-  export RUSTC="$SRC/rustc.py"
   export CFLAGS=""
 fi
 
diff --git a/projects/rustls/rustc.py b/projects/rustls/rustc.py
deleted file mode 100644
index 55ce4c40a..000000000
--- a/projects/rustls/rustc.py
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/usr/bin/env python
-
-# Copyright 2021 Google LLC
-#
-# Licensed under the Apache License, Version 2.0 (the "License");
-# you may not use this file except in compliance with the License.
-# You may obtain a copy of the License at
-#
-#      http://www.apache.org/licenses/LICENSE-2.0
-#
-# Unless required by applicable law or agreed to in writing, software
-# distributed under the License is distributed on an "AS IS" BASIS,
-# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-# See the License for the specific language governing permissions and
-# limitations under the License.
-
-import sys
-import subprocess
-
-#Disable coverage for troubling crates.
-sys.argv[0] = "rustc"
-if "tokio_util" in sys.argv or "hyper" in sys.argv:
-    try:
-        sys.argv.remove("-Zinstrument-coverage")
-    except:
-        pass
-    print(sys.argv)
-subprocess.call(sys.argv)