Correct download_db command in jenkins.sh,