Bugfix, correct path in download-tools.sh