Small bug fix in download-deps.py