diff --git a/src/create_embedded_tools.py b/src/create_embedded_tools.py
index 8d882d0..4ad4a5a 100644
--- a/src/create_embedded_tools.py
+++ b/src/create_embedded_tools.py
@@ -128,10 +128,6 @@
     zipinfo.external_attr = 0o644 << 16
     output_zip.writestr(zipinfo, 'workspace(name = "bazel_tools")\n')
 
-    zipinfo = zipfile.ZipInfo('tools/defaults/BUILD', (1980, 1, 1, 0, 0, 0))
-    zipinfo.external_attr = 0o644 << 16
-    output_zip.writestr(zipinfo, '')
-
     for archive_file, input_file in input_files:
       if os.path.basename(archive_file) in ('jdk.tar.gz', 'jdk.zip'):
         copy_jdk_into_archive(output_zip, archive_file, input_file)