Instrumented libraries: use 'rm -rf' instead of 'shutil.rmtree'.

third_party/instrumented_libraries/download_build_install.py

Index: third_party/instrumented_libraries/download_build_install.py
diff --git a/third_party/instrumented_libraries/download_build_install.py b/third_party/instrumented_libraries/download_build_install.py
index 40cb1353cbc6034814d185b717c30da4b6b2c203..33f81e059079708fa6430f34ab7a2735c03e940e 100755
--- a/third_party/instrumented_libraries/download_build_install.py
+++ b/third_party/instrumented_libraries/download_build_install.py
@@ -296,7 +296,7 @@ def download_build_install(parsed_arguments):
 
   # A failed build might have left a dirty source tree behind.
   if os.path.exists(library_directory):
-    shutil.rmtree(library_directory)
+    shell_call('rm -rf %s' % library_directory, parsed_arguments.verbose)
   os.makedirs(library_directory)
 
   with ScopedChangeDirectory(library_directory) as cd_library:
@@ -330,7 +330,7 @@ def download_build_install(parsed_arguments):
   # Remove downloaded package and generated temporary build files.
   # Failed builds intentionally skip this step, in order to aid in tracking down
   # build failures.
-  shutil.rmtree(library_directory)
+  shell_call('rm -rf %s' % library_directory, parsed_arguments.verbose)
 
 
 def main():