Use ctx.readdir instead of ls for SDK platform detection

go/private/sdk.bzl

@@ -495,14 +495,12 @@ def _detect_host_sdk(ctx):
 
 def _detect_sdk_platform(ctx, goroot):
     path = goroot + "/pkg/tool"
-    res = ctx.execute(["ls", path])
-    if res.return_code != 0:
-        fail("Could not detect SDK platform: unable to list %s: %s" % (path, res.stderr))
+    tool_entries = ctx.path(path).readdir()
 
     platforms = []
-    for f in res.stdout.strip().split("\n"):
-        if f.find("_") >= 0:
-            platforms.append(f)
+    for f in tool_entries:
+        if f.basename.find("_") >= 0:
+            platforms.append(f.basename)
 
     if len(platforms) == 0:
         fail("Could not detect SDK platform: found no platforms in %s" % path)