| Index: mojo/public/tools/download_shell_binary.py
 | 
| diff --git a/mojo/public/tools/download_shell_binary.py b/mojo/public/tools/download_shell_binary.py
 | 
| index ee742319d2e148f51c40444624d7724fba60ce29..30891c20e2f37ba5e38702bddea597e7b78ad9de 100755
 | 
| --- a/mojo/public/tools/download_shell_binary.py
 | 
| +++ b/mojo/public/tools/download_shell_binary.py
 | 
| @@ -20,7 +20,7 @@ if not sys.platform.startswith("linux"):
 | 
|    sys.exit(0)
 | 
|  
 | 
|  CURRENT_PATH = os.path.dirname(os.path.realpath(__file__))
 | 
| -PREBUILT_FILE_PATH = os.path.join(CURRENT_PATH, "prebuilt")
 | 
| +PREBUILT_FILE_PATH = os.path.join(CURRENT_PATH, "prebuilt", "shell")
 | 
|  
 | 
|  
 | 
|  def download(tools_directory):
 | 
| @@ -83,11 +83,12 @@ def download_version_for_platform(version, platform, tools_directory):
 | 
|        sys.exit(1)
 | 
|  
 | 
|      binary_name = BINARY_FOR_PLATFORM[platform]
 | 
| +    output_dir = os.path.join(PREBUILT_FILE_PATH, platform)
 | 
|      with zipfile.ZipFile(temp_zip_file.name) as z:
 | 
|        zi = z.getinfo(binary_name)
 | 
|        mode = zi.external_attr >> 16
 | 
| -      z.extract(zi, PREBUILT_FILE_PATH)
 | 
| -      os.chmod(os.path.join(PREBUILT_FILE_PATH, binary_name), mode)
 | 
| +      z.extract(zi, output_dir)
 | 
| +      os.chmod(os.path.join(output_dir, binary_name), mode)
 | 
|  
 | 
|  
 | 
|  def main():
 | 
| 
 |