Updates download-deps.py, using shutil.copyfile instead of shutil.copyfile