Some small fixes to install-deps.sh