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