Issue #5066: Make path of download-deps.py and its command right