--- src/BUILD.orig	2018-07-03 14:19:05.449739000 +0000
+++ src/BUILD	2018-07-03 14:20:02.053187000 +0000
@@ -172,7 +172,7 @@
             "//src/java_tools/singlejar:SingleJar_deploy.jar",
         ],
         "//conditions:default": [
-            "//src/tools/singlejar:singlejar_local",
+            "//src/java_tools/singlejar:SingleJar_deploy.jar",
         ],
     }) + ([":embedded_jdk"] if (suffix == "") else []),
     visibility = [