small fix to the get_deps.py script